witness_thread_exit (reference) in projects: trueos

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

/trueos/sys/sys/
H D	lock.h	`228 void witness_thread_exit(struct thread *);`
/trueos/sys/kern/
H D	kern_thread.c	`494 witness_thread_exit(td); in thread_exit()`
H D	subr_witness.c	`1659 witness_thread_exit(struct thread *td) in witness_thread_exit() function`