vfio_pci_set_vga_decode 1347 drivers/vfio/pci/vfio_pci.c 		vga_client_register(pdev, vdev, NULL, vfio_pci_set_vga_decode);
vfio_pci_set_vga_decode 1349 drivers/vfio/pci/vfio_pci.c 					vfio_pci_set_vga_decode(vdev, false));