void
start_thread(struct thread* th, ptr_t entry);
-static inline void
-spawn_kthread(ptr_t entry) {
- assert(kernel_process(__current));
-
- struct thread* th = create_thread(__current, false);
-
- assert(th);
- start_thread(th, entry);
- detach_thread(th);
-}
-
void
exit_thread(void* val);