Symbol: evtchn_to_info