Searched defs:run_thread (Results 1 – 3 of 3) sorted by relevance
38 static int run_thread(thread_t *out_thread, void (*thread_func)(void)) { in run_thread() function65 static int run_thread(thread_t *out_thread, void (*thread_func)(void)) { in run_thread() function
181 void CLG_(run_thread)(ThreadId tid) in CLG_() argument
1962 CLG_(run_thread)( tid ); in clg_start_client_code_callback() local