| 44 | } |
| 45 | |
| 46 | static inline struct thread *current_thread(void) |
| 47 | { |
| 48 | if (!initialized || !boot_cpu()) |
| 49 | return NULL; |
| 50 | |
| 51 | return active_thread; |
| 52 | } |
| 53 | |
| 54 | static inline struct thread *pop_thread(struct list_node *head) |
| 55 | { |
no test coverage detected