CTR_L1I_POLICY_VIPT 88 boot/arch/arm32/include/arch/cp15.h CTR_L1I_POLICY_VIPT = 0x00008000, CTR_L1I_POLICY_VIPT 88 kernel/arch/arm32/include/arch/cp15.h CTR_L1I_POLICY_VIPT = 0x00008000, CTR_L1I_POLICY_VIPT 88 uspace/lib/c/arch/arm32/include/libarch/cp15.h CTR_L1I_POLICY_VIPT = 0x00008000,HelenOS homepage, sources at GitHub