Searched refs:zero_thread_cost (Results 1 – 1 of 1) sorted by relevance
1395 static void zero_thread_cost(thread_info* t) in zero_thread_cost() function1422 zero_thread_cost(CLG_(get_current_thread)()); in CLG_()1424 CLG_(forall_threads)(zero_thread_cost); in CLG_()