| 85 | static inline void OSInitMutexQueue(OSMutexQueue* queue) { queue->head = queue->tail = NULL; } |
| 86 | |
| 87 | static inline void OSSetCurrentThread(OSThread* thread) { |
| 88 | SwitchThreadCallback(__OSCurrentThread, thread); |
| 89 | __OSCurrentThread = thread; |
| 90 | } |
| 91 | |
| 92 | void __OSThreadInit() { |
| 93 | OSThread* thread = &DefaultThread; |
no outgoing calls
no test coverage detected