MIN_STEAL_TIME
GUEST_ASSERT(rs->time[RUNSTATE_runnable] >= MIN_STEAL_TIME);
rundelay = get_run_delay() + MIN_STEAL_TIME;