exit_thread
exit_thread(); /* Never return! */
exit_thread();
exit_thread();
SLOT(exit_thread),
DEFINE_SHIM2(exit_thread, void, sched_exit_thread, struct thread *, td,
SLOT(exit_thread),
void (*exit_thread)(struct thread *td, struct thread *child);