Searched refs:done_this_time (Results 1 – 1 of 1) sorted by relevance
737 volatile Int done_this_time; in run_thread_for_a_while() local789 done_this_time = (Int)dispatch_ctr_SAVED - (Int)VG_(dispatch_ctr) - 0; in run_thread_for_a_while()791 vg_assert(done_this_time >= 0); in run_thread_for_a_while()792 bbs_done += (ULong)done_this_time; in run_thread_for_a_while()