Searched defs:run_thread (Results 1 – 3 of 3) sorted by relevance
140 static void *run_thread(void *start_arg) { in run_thread() function
178 void CLG_(run_thread)(ThreadId tid) in CLG_() argument
1969 CLG_(run_thread)( tid ); in clg_start_client_code_callback() local