CTR_FORMAT_ARMv7 75 boot/arch/arm32/include/arch/cp15.h CTR_FORMAT_ARMv7 = 0x80000000, CTR_FORMAT_ARMv7 75 kernel/arch/arm32/include/arch/cp15.h CTR_FORMAT_ARMv7 = 0x80000000, CTR_FORMAT_ARMv7 75 uspace/lib/c/arch/arm32/include/libarch/cp15.h CTR_FORMAT_ARMv7 = 0x80000000,HelenOS homepage, sources at GitHub