HelenOS sources

SCTLR_MMU_EN_FLAG  237 boot/arch/arm32/include/arch/cp15.h 	SCTLR_MMU_EN_FLAG            = 1 << 0,
SCTLR_MMU_EN_FLAG  237 kernel/arch/arm32/include/arch/cp15.h 	SCTLR_MMU_EN_FLAG            = 1 << 0,
SCTLR_MMU_EN_FLAG  237 uspace/lib/c/arch/arm32/include/libarch/cp15.h 	SCTLR_MMU_EN_FLAG            = 1 << 0,
HelenOS homepage, sources at GitHub