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: