HYPERVISOR_poll
(void) HYPERVISOR_poll(ports, 1, 0);
extern long HYPERVISOR_poll(evtchn_port_t *, uint_t, uint64_t);