mask_evtchn       571 drivers/xen/events/events_base.c 	mask_evtchn(evtchn);
mask_evtchn      1366 drivers/xen/events/events_base.c 		mask_evtchn(evtchn);
mask_evtchn      1693 drivers/xen/events/events_base.c 		mask_evtchn(evtchn);