USERSPACE_SCHED_YIELD
poll_for_non_spurious_irq(USERSPACE_SCHED_YIELD);
guest_poll(timer, usec, USERSPACE_SCHED_YIELD);
case USERSPACE_SCHED_YIELD: