HelenOS sources

SCTLR_B_EN_FLAG   241 boot/arch/arm32/include/arch/cp15.h 	SCTLR_B_EN_FLAG              = 1 << 7,  /* ARMv6-, big endian switch */
SCTLR_B_EN_FLAG   241 kernel/arch/arm32/include/arch/cp15.h 	SCTLR_B_EN_FLAG              = 1 << 7,  /* ARMv6-, big endian switch */
SCTLR_B_EN_FLAG   241 uspace/lib/c/arch/arm32/include/libarch/cp15.h 	SCTLR_B_EN_FLAG              = 1 << 7,  /* ARMv6-, big endian switch */
HelenOS homepage, sources at GitHub