vfio_iowrite32 26 drivers/vfio/pci/vfio_pci_rdwr.c #define vfio_iowrite32 iowrite32 vfio_iowrite32 33 drivers/vfio/pci/vfio_pci_rdwr.c #define vfio_iowrite32 iowrite32be