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);