vfio_ioread32      25 drivers/vfio/pci/vfio_pci_rdwr.c #define vfio_ioread32	ioread32
vfio_ioread32      32 drivers/vfio/pci/vfio_pci_rdwr.c #define vfio_ioread32	ioread32be