Searched refs:exit_thread (Results 1 – 4 of 4) sorted by relevance
47 extern void VG_(exit_thread)(ThreadId tid);
373 void VG_(exit_thread)(ThreadId tid) in VG_() argument
256 VG_(exit_thread)(tid); in run_a_thread_NORETURN() local
209 VG_(exit_thread)(tid); in run_a_thread_NORETURN() local