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