CTR_L1I_POLICY_PIPT 89 boot/arch/arm32/include/arch/cp15.h CTR_L1I_POLICY_PIPT = 0x0000c000, CTR_L1I_POLICY_PIPT 89 kernel/arch/arm32/include/arch/cp15.h CTR_L1I_POLICY_PIPT = 0x0000c000, CTR_L1I_POLICY_PIPT 89 uspace/lib/c/arch/arm32/include/libarch/cp15.h CTR_L1I_POLICY_PIPT = 0x0000c000,HelenOS homepage, sources at GitHub