hypervisor_unmask_event
hypervisor_unmask_event(evtchn);
extern void hypervisor_unmask_event(uint_t);