__xen_hypercall
u64 __xen_hypercall(u64 nr, u64 a0, void *a1);
GUEST_ASSERT(!__xen_hypercall(nr, a0, a1));
__xen_hypercall(__HYPERVISOR_sched_op, SCHEDOP_poll, &p);