Symbol: xennet_ioctl