# CONFIG_INTEL_IOMMU_DEBUGFS is not set