Searched refs:witness_thread_exit (Results 1 - 3 of 3) sorted by relevance

/freebsd-12-stable/sys/sys/
H A Dlock.h277 void witness_thread_exit(struct thread *);
/freebsd-12-stable/sys/kern/
H A Dkern_thread.c614 witness_thread_exit(td);
H A Dsubr_witness.c1714 witness_thread_exit(struct thread *td) function

Completed in 133 milliseconds