Searched refs:switch_thread (Results 1 – 4 of 4) sorted by relevance
94 CLG_(switch_thread)(t); in CLG_() local97 CLG_(switch_thread)(orig_tid); in CLG_() local130 void CLG_(switch_thread)(ThreadId tid) in CLG_() argument196 CLG_(switch_thread)(tid); in CLG_() local207 CLG_(switch_thread)(tid); in CLG_() local248 CLG_(switch_thread)(tid); in CLG_() local
761 void CLG_(switch_thread)(ThreadId tid);
1464 CLG_(switch_thread)(1); in print_bbccs()1466 CLG_(switch_thread)(orig_tid); in print_bbccs() local
589 CLG_(switch_thread)(tid); in CLG_() local