vfio_pci_vga_rw  1167 drivers/vfio/pci/vfio_pci.c 		return vfio_pci_vga_rw(vdev, buf, count, ppos, iswrite);
vfio_pci_vga_rw   147 drivers/vfio/pci/vfio_pci_private.h extern ssize_t vfio_pci_vga_rw(struct vfio_pci_device *vdev, char __user *buf,