umtx_thread_exit
umtx_thread_exit(td);
umtx_thread_exit(FIRST_THREAD_IN_PROC(p));
umtx_thread_exit(td);
umtx_thread_exit(td);
umtx_thread_exit(td);
void umtx_thread_exit(struct thread *);