Searched refs:dispatchCtrP (Results 1 – 1 of 1) sorted by relevance
860 /*MOD*/Int* dispatchCtrP, in run_thread_for_a_while() argument874 vg_assert(*dispatchCtrP > 0); in run_thread_for_a_while()924 tst->arch.vex.host_EvC_COUNTER = *dispatchCtrP; in run_thread_for_a_while()999 done_this_time = *dispatchCtrP - dispatchCtrAfterwards; in run_thread_for_a_while()1012 *dispatchCtrP -= done_this_time; in run_thread_for_a_while()1013 vg_assert(*dispatchCtrP >= 0); in run_thread_for_a_while()1151 /*MOD*/Int* dispatchCtrP, in handle_noredir_jump() argument1184 vg_assert(*dispatchCtrP > 0); /* so as to guarantee progress */ in handle_noredir_jump()1185 run_thread_for_a_while( two_words, dispatchCtrP, tid, in handle_noredir_jump()