Symbol: EVTCHN_MASK