Symbol: xen_evtchn_mask