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