Symbol: umtx_thread_fini
sys/kern/kern_thread.c
486
umtx_thread_fini(td);
sys/sys/umtxvar.h
234
void umtx_thread_fini(struct thread *);