# CONFIG_IRQ_MSI_IOMMU is not set
