Searched defs:run_thread (Results 1 – 4 of 4) 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
33 static void *run_thread(void *arg) 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