Symbol: umtx_thread_alloc
sys/kern/kern_thread.c
407
umtx_thread_alloc(td);
sys/sys/umtxvar.h
235
void umtx_thread_alloc(struct thread *);