Rockchip IOMMU Support

modulename: rockchip-iommu.ko

configname: CONFIG_ROCKCHIP_IOMMU

Linux Kernel Configuration
└─>Device Drivers
└─>IOMMU Hardware Support
└─>Rockchip IOMMU Support
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Support for IOMMUs found on Rockchip rk32xx SOCs.
These IOMMUs allow virtualization of the address space used by most
cores within the multimedia subsystem.
Say Y here if you are using a Rockchip SoC that includes an IOMMU
device.

source code:

depends
CONFIG_IOMMU_SUPPORT
CONFIG_ARCH_ROCKCHIP or CONFIG_COMPILE_TEST
CONFIG_ARM or CONFIG_ARM64

is selected by
CONFIG_DRM_ROCKCHIP