HelenOS sources

CCSELR_LEVEL_SHIFT  222 kernel/arch/arm32/src/cpu/cpu.c 	CSSELR_write((level & CCSELR_LEVEL_MASK) << CCSELR_LEVEL_SHIFT);
CCSELR_LEVEL_SHIFT  234 kernel/arch/arm32/src/cpu/cpu.c 	CSSELR_write((level & CCSELR_LEVEL_MASK) << CCSELR_LEVEL_SHIFT);
CCSELR_LEVEL_SHIFT  245 kernel/arch/arm32/src/cpu/cpu.c 	CSSELR_write((level & CCSELR_LEVEL_MASK) << CCSELR_LEVEL_SHIFT);