sPAPR TCE IOMMU Support

modulename: mmu_context_iommu.ko

configname: CONFIG_SPAPR_TCE_IOMMU

Linux Kernel Configuration
└─>Device Drivers
└─>IOMMU Hardware Support
└─>sPAPR TCE IOMMU Support
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Enables bits of IOMMU API required by VFIO. The iommu_ops
is not implemented as it is not necessary for VFIO.

source code:
arch/powerpc/mm/mmu_context_iommu.c