Lines Matching refs:run_delay
350 long run_delay;
382 /* Second VCPU run, expect guest stolen time to be <= run_delay */
386 run_delay = get_run_delay();
387 TEST_ASSERT(stolen_time <= run_delay,
389 run_delay, stolen_time);
392 run_delay = get_run_delay();
396 while (get_run_delay() - run_delay < MIN_RUN_DELAY_NS);
398 run_delay = get_run_delay() - run_delay;
399 TEST_ASSERT(run_delay >= MIN_RUN_DELAY_NS,
400 "Expected run_delay >= %ld, got %ld",
401 MIN_RUN_DELAY_NS, run_delay);
403 /* Run VCPU again to confirm stolen time is consistent with run_delay */
407 TEST_ASSERT(stolen_time >= run_delay,
409 run_delay, stolen_time);
414 stolen_time == run_delay ?
415 " (BONUS: guest test-stolen-time even exactly matches test-run_delay)" : "");