CONFIG_IOMMU_IO_PGTABLE (not configurable)
modulename: io-pgtable.ko
configname: CONFIG_IOMMU_IO_PGTABLE
Linux Kernel Configuration
└─>Device Drivers
└─>IOMMU Hardware Support
└─>Generic IOMMU Pagetable Support
└─>IOMMU_IO_PGTABLE