| 191 | } |
| 192 | |
| 193 | static void thread_resume_from_timeout(struct timeout_callback *tocb) |
| 194 | { |
| 195 | struct thread *to; |
| 196 | |
| 197 | to = tocb->priv; |
| 198 | schedule(to); |
| 199 | } |
| 200 | |
| 201 | static void idle_thread_init(void) |
| 202 | { |
nothing calls this directly
no test coverage detected