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: