CCSELR_LEVEL_MASK 220 boot/arch/arm32/include/arch/cp15.h CCSELR_LEVEL_MASK = 0x7, CCSELR_LEVEL_MASK 220 kernel/arch/arm32/include/arch/cp15.h CCSELR_LEVEL_MASK = 0x7, CCSELR_LEVEL_MASK 220 uspace/lib/c/arch/arm32/include/libarch/cp15.h CCSELR_LEVEL_MASK = 0x7,HelenOS homepage, sources at GitHub