Searched refs:witness_thread_exit (Results 1 – 3 of 3) sorted by relevance
246 void witness_thread_exit(struct thread *);
949 witness_thread_exit(td); in thread_exit()
1767 witness_thread_exit(struct thread *td) in witness_thread_exit() function