single_vga         74 drivers/vfio/pci/vfio_pci.c static unsigned int vfio_pci_set_vga_decode(void *opaque, bool single_vga)
single_vga         81 drivers/vfio/pci/vfio_pci.c 	if (single_vga || !vfio_vga_disabled() || pci_is_root_bus(pdev->bus))