vfio_ioread64      23 drivers/vfio/pci/vfio_pci_rdwr.c #define vfio_ioread64	ioread64
vfio_ioread64      30 drivers/vfio/pci/vfio_pci_rdwr.c #define vfio_ioread64	ioread64be