| _vm_page_size | os | [private, static] |
| breakpoint() | os | [static] |
| check_directory(char *dir_name) | os | [static] |
| commit_memory(char *addr, int size) | os | [static] |
| create_event(bool initial_state) | os | [static] |
| create_thread(int main(void *parameter), void *parameter, int *id_addr) | os | [static] |
| current_thread_id() | os | [static] |
| currentTime() | os | [static] |
| delete_event(Event *event) | os | [static] |
| dll_load(char *name) | os | [static] |
| dll_lookup(char *name, DLL *library) | os | [static] |
| dll_unload(DLL *library) | os | [static] |
| elapsed_counter() | os | [static] |
| elapsed_frequency() | os | [static] |
| elapsedTime() | os | [static] |
| fatalExit(int num) | os | [static] |
| fetch_top_frame(Thread *thread, int **sp, int **fp, char **pc) | os | [static] |
| get_hInstance() | os | [static] |
| get_nCmdShow() | os | [static] |
| get_prevInstance() | os | [static] |
| getenv(char *name, char *buffer, int len) | os | [static] |
| guard_memory(char *addr, int size) | os | [static] |
| initialize_system_info() | os | [private, static] |
| message_box(char *title, char *message) | os | [static] |
| move_file(char *from, char *to) | os | [static] |
| os_init() | os | [friend] |
| release_memory(char *addr, int size) | os | [static] |
| reserve_memory(int size) | os | [static] |
| reset_event(Event *event) | os | [static] |
| resume_thread(Thread *thread) | os | [static] |
| signal_event(Event *event) | os | [static] |
| sleep(int ms) | os | [static] |
| starting_thread(int *id_addr) | os | [static] |
| suspend_thread(Thread *thread) | os | [static] |
| system_time_for(Thread *thread) | os | [static] |
| systemTime() | os | [static] |
| terminate_thread(Thread *thread) | os | [static] |
| timerPrintBuffer() | os | [static] |
| timerStart() | os | [static] |
| timerStop() | os | [static] |
| transfer(Thread *from_thread, Event *from_event, Thread *to_thread, Event *to_event) | os | [static] |
| transfer_and_continue(Thread *from_thread, Event *from_event, Thread *to_thread, Event *to_event) | os | [static] |
| uncommit_memory(char *addr, int size) | os | [static] |
| updateTimes() | os | [static] |
| user_time_for(Thread *thread) | os | [static] |
| userTime() | os | [static] |
| vm_page_size() | os | [inline, static] |
| wait_for_event(Event *event) | os | [static] |
| wait_for_event_or_timer(Event *event, int timeout_in_ms) | os | [static] |
