hypervisor_mask_event
void hypervisor_mask_event(unsigned int);
hypervisor_mask_event(i);
hypervisor_mask_event(evtch);
hypervisor_mask_event(evtchn);
hypervisor_mask_event(sc->sc_evtchn);
hypervisor_mask_event(pbxi->pbx_evtchn);
hypervisor_mask_event(sc->sc_evtchn);
hypervisor_mask_event(sc->sc_evtchn);
hypervisor_mask_event(xbdi->xbdi_evtchn);
hypervisor_mask_event(evtch);
hypervisor_mask_event(evtch);
hypervisor_mask_event(i);
hypervisor_mask_event(unbind->port);
hypervisor_mask_event(xneti->xni_evtchn);
hypervisor_mask_event(evtchn);