# CONFIG_VFIO_PCI_INTX is not set
