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