CONFIG_VFIO_PCI_IGD  333 drivers/vfio/pci/vfio_pci.c 	    IS_ENABLED(CONFIG_VFIO_PCI_IGD)) {
CONFIG_VFIO_PCI_IGD  167 drivers/vfio/pci/vfio_pci_private.h #ifdef CONFIG_VFIO_PCI_IGD