CONFIG_IOMMU_IO_PGTABLE_ARMV7S  682 drivers/iommu/arm-smmu.c 	if (IS_ENABLED(CONFIG_IOMMU_IO_PGTABLE_ARMV7S) &&
CONFIG_IOMMU_IO_PGTABLE_ARMV7S   24 drivers/iommu/io-pgtable.c #ifdef CONFIG_IOMMU_IO_PGTABLE_ARMV7S