Searched refs:dispatch_ctr_SAVED (Results 1 – 1 of 1) sorted by relevance
736 volatile Int dispatch_ctr_SAVED; in run_thread_for_a_while() local749 dispatch_ctr_SAVED = VG_(dispatch_ctr); in run_thread_for_a_while()789 done_this_time = (Int)dispatch_ctr_SAVED - (Int)VG_(dispatch_ctr) - 0; in run_thread_for_a_while()