Searched refs:dispatchCtrAfterwards (Results 1 – 1 of 1) sorted by relevance
998 Int dispatchCtrAfterwards = (Int)tst->arch.vex.host_EvC_COUNTER; in run_thread_for_a_while() local999 done_this_time = *dispatchCtrP - dispatchCtrAfterwards; in run_thread_for_a_while()1000 if (dispatchCtrAfterwards == -1) { in run_thread_for_a_while()1005 vg_assert(dispatchCtrAfterwards >= 0); in run_thread_for_a_while()