vfio_pci_is_vga   327 drivers/vfio/pci/vfio_pci.c 	if (!vfio_vga_disabled() && vfio_pci_is_vga(pdev))
vfio_pci_is_vga   331 drivers/vfio/pci/vfio_pci.c 	if (vfio_pci_is_vga(pdev) &&
vfio_pci_is_vga  1346 drivers/vfio/pci/vfio_pci.c 	if (vfio_pci_is_vga(pdev)) {
vfio_pci_is_vga  1391 drivers/vfio/pci/vfio_pci.c 	if (vfio_pci_is_vga(pdev)) {