Symbol: witness_thread_exit
sys/sys/witness.h
144
witness_thread_exit((p))
sys/sys/witness.h
87
void witness_thread_exit(struct proc *);