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

/freebsd-10.1-release/sys/sys/
H A Dlock.h228 void witness_thread_exit(struct thread *);
/freebsd-10.1-release/sys/kern/
H A Dkern_thread.c493 witness_thread_exit(td);
H A Dsubr_witness.c1644 witness_thread_exit(struct thread *td) function

Completed in 86 milliseconds