! the thread calling this function gets yielded */
| 118 | |
| 119 | /*! the thread calling this function gets yielded */ |
| 120 | void yield() { |
| 121 | SwitchToThread(); |
| 122 | } |
| 123 | |
| 124 | /*! waits until the given thread has terminated */ |
| 125 | void join(thread_t tid) { |
no outgoing calls
no test coverage detected