SCTLR              40 arch/arm/include/asm/kvm_hyp.h #define SCTLR		__ACCESS_CP15(c1, 0, c0, 0)
SCTLR             824 drivers/iommu/msm_iommu_hw-8xxx.h #define SCTLR		(0x000)