Symbol: evtchn_ioctl