Searched refs:switch_thread (Results 1 – 4 of 4) sorted by relevance
91 CLG_(switch_thread)(t); in CLG_() local94 CLG_(switch_thread)(orig_tid); in CLG_() local127 void CLG_(switch_thread)(ThreadId tid) in CLG_() argument193 CLG_(switch_thread)(tid); in CLG_() local204 CLG_(switch_thread)(tid); in CLG_() local245 CLG_(switch_thread)(tid); in CLG_() local
801 void CLG_(switch_thread)(ThreadId tid);
574 CLG_(switch_thread)(tid); in CLG_() local
1605 CLG_(switch_thread)(1); in print_bbccs()1607 CLG_(switch_thread)(orig_tid); in print_bbccs() local