Searched refs:exit_thread (Results 1 – 5 of 5) sorted by relevance
44 extern void VG_(exit_thread)(ThreadId tid);
1287 extern void exit_thread(void);
325 void VG_(exit_thread)(ThreadId tid) in VG_() argument
190 VG_(exit_thread)(tid); in run_a_thread_NORETURN() local
276 VG_(exit_thread)(tid); in run_a_thread_NORETURN() local