Symbol: evtchn_close