Searched refs:witness_thread_exit (Results 1 – 3 of 3) sorted by relevance
247 void witness_thread_exit(struct thread *);
1027 witness_thread_exit(td); in thread_exit()
1768 witness_thread_exit(struct thread *td) in witness_thread_exit() function