vfio_iowrite32     69 drivers/vfio/pci/vfio_pci_rdwr.c 				vfio_iowrite32(val, io + off);
vfio_iowrite32    289 drivers/vfio/pci/vfio_pci_rdwr.c 		vfio_iowrite32(ioeventfd->data, ioeventfd->addr);