Searched refs:done_this_time (Results 1 – 1 of 1) sorted by relevance
867 volatile Int done_this_time = 0; in run_thread_for_a_while() local999 done_this_time = *dispatchCtrP - dispatchCtrAfterwards; in run_thread_for_a_while()1001 done_this_time--; in run_thread_for_a_while()1009 vg_assert(done_this_time >= 0); in run_thread_for_a_while()1010 bbs_done += (ULong)done_this_time; in run_thread_for_a_while()1012 *dispatchCtrP -= done_this_time; in run_thread_for_a_while()