HelenOS sources

SCTLR_ALIGN_CHECK_EN_FLAG  238 boot/arch/arm32/include/arch/cp15.h 	SCTLR_ALIGN_CHECK_EN_FLAG    = 1 << 1,  /* Allow alignemnt check */
SCTLR_ALIGN_CHECK_EN_FLAG  238 kernel/arch/arm32/include/arch/cp15.h 	SCTLR_ALIGN_CHECK_EN_FLAG    = 1 << 1,  /* Allow alignemnt check */
SCTLR_ALIGN_CHECK_EN_FLAG  238 uspace/lib/c/arch/arm32/include/libarch/cp15.h 	SCTLR_ALIGN_CHECK_EN_FLAG    = 1 << 1,  /* Allow alignemnt check */
HelenOS homepage, sources at GitHub