vfio_iowrite16     85 drivers/vfio/pci/vfio_pci_rdwr.c 				vfio_iowrite16(val, io + off);
vfio_iowrite16    286 drivers/vfio/pci/vfio_pci_rdwr.c 		vfio_iowrite16(ioeventfd->data, ioeventfd->addr);