Symbol: HYPERVISOR_yield
sys/arch/xen/xen/xen_clock.c
644
HYPERVISOR_yield();
sys/arch/xen/xen/xencons.c
579
HYPERVISOR_yield();