CONFIG_VFIO_PCI_INTX  512 drivers/vfio/pci/vfio_pci.c 		if (!IS_ENABLED(CONFIG_VFIO_PCI_INTX) ||
CONFIG_VFIO_PCI_INTX 1702 drivers/vfio/pci/vfio_pci_config.c 	if (!IS_ENABLED(CONFIG_VFIO_PCI_INTX) || vdev->nointx)