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