hypervisor_mask_event
hypervisor_mask_event(evtchn);
(void) hypervisor_mask_event(*evtchnp);
(void) hypervisor_mask_event(i);
(void) hypervisor_mask_event(i);
extern void hypervisor_mask_event(uint_t);