vfio_iowrite64     24 drivers/vfio/pci/vfio_pci_rdwr.c #define vfio_iowrite64	iowrite64
vfio_iowrite64     31 drivers/vfio/pci/vfio_pci_rdwr.c #define vfio_iowrite64	iowrite64be