Symbol: kdtrace_thread_dtor
sys/kern/kern_thread.c
446
kdtrace_thread_dtor(td);
sys/sys/dtrace_bsd.h
169
void kdtrace_thread_dtor(struct thread *td);