Searched refs:USERSPACE_SCHED_YIELD (Results 1 – 1 of 1) sorted by relevance
80 USERSPACE_SCHED_YIELD, enumerator266 poll_for_non_spurious_irq(USERSPACE_SCHED_YIELD); in wait_sched_poll_for_irq()301 guest_poll(timer, usec, USERSPACE_SCHED_YIELD); in sleep_sched_poll()886 case USERSPACE_SCHED_YIELD: in handle_sync()