# CONFIG_AMD_IOMMU_DEBUGFS is not set