Searched refs:run_thread (Results 1 – 3 of 3) sorted by relevance
178 void CLG_(run_thread)(ThreadId tid) in CLG_() argument
803 void CLG_(run_thread)(ThreadId tid);
1886 CLG_(run_thread)( tid ); in clg_start_client_code_callback() local1918 CLG_(run_thread)(1); in CLG_()