| 83 | } while (0) |
| 84 | |
| 85 | static inline void OSInitMutexQueue(OSMutexQueue* queue) { queue->head = queue->tail = NULL; } |
| 86 | |
| 87 | static inline void OSSetCurrentThread(OSThread* thread) { |
| 88 | SwitchThreadCallback(__OSCurrentThread, thread); |
no outgoing calls
no test coverage detected