Symbol: evtchn_masked