kernelconfig_penguin

depends
CONFIG_HAS_DMA
CONFIG_IOMMU_SUPPORT
CONFIG_ARM or CONFIG_ARM64 or CONFIG_COMPILE_TEST

is depended by
CONFIG_MTK_IOMMU

ARMv7/v8 Short Descriptor Format

modulename: io-pgtable-arm-v7s.ko
configname: CONFIG_IOMMU_IO_PGTABLE_ARMV7S

Linux Kernel Configuration
└─> Device Drivers
└─> IOMMU Hardware Support
└─> Generic IOMMU Pagetable Support
└─> ARMv7/v8 Short Descriptor Format

In linux kernel since version 4.1 (release Date: 2015-06-21)  

Enable support for the ARM Short-descriptor pagetable format.
This supports 32-bit virtual and physical addresses mapped using
2-level tables with 4KB pages/1MB sections, and contiguous entries
for 64KB pages/16MB supersections if indicated by the IOMMU driver.


source code:


drivers/iommu/io-pgtable-arm-v7s.c