HYPERVISOR_sched_op
return (HYPERVISOR_sched_op(SCHEDOP_yield, NULL));
HYPERVISOR_sched_op(SCHEDOP_shutdown, &sched_shutdown);