vfio_iowrite8     101 drivers/vfio/pci/vfio_pci_rdwr.c 				vfio_iowrite8(val, io + off);
vfio_iowrite8     283 drivers/vfio/pci/vfio_pci_rdwr.c 		vfio_iowrite8(ioeventfd->data, ioeventfd->addr);