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