Symbol: witness_thread_exit
sys/kern/kern_thread.c
1037
witness_thread_exit(td);
sys/sys/lock.h
247
void witness_thread_exit(struct thread *);