Searched refs:xlat_regime (Results 1 – 9 of 9) sorted by relevance
123 if (ctx->xlat_regime == EL1_EL0_REGIME) { in is_mmu_enabled_ctx()126 } else if (ctx->xlat_regime == EL2_REGIME) { in is_mmu_enabled_ctx()130 assert(ctx->xlat_regime == EL3_REGIME); in is_mmu_enabled_ctx()149 uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime) in xlat_arch_regime_get_xn_desc() argument151 if (xlat_regime == EL1_EL0_REGIME) { in xlat_arch_regime_get_xn_desc()154 assert((xlat_regime == EL2_REGIME) || in xlat_arch_regime_get_xn_desc()155 (xlat_regime == EL3_REGIME)); in xlat_arch_regime_get_xn_desc()160 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime) in xlat_arch_tlbi_va() argument175 if (xlat_regime == EL1_EL0_REGIME) { in xlat_arch_tlbi_va()178 } else if (xlat_regime == EL2_REGIME) { in xlat_arch_tlbi_va()[all …]
60 if (ctx->xlat_regime == EL1_EL0_REGIME) { in is_mmu_enabled_ctx()64 assert(ctx->xlat_regime == EL2_REGIME); in is_mmu_enabled_ctx()79 uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime) in xlat_arch_regime_get_xn_desc() argument81 if (xlat_regime == EL1_EL0_REGIME) { in xlat_arch_regime_get_xn_desc()84 assert(xlat_regime == EL2_REGIME); in xlat_arch_regime_get_xn_desc()89 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime) in xlat_arch_tlbi_va() argument97 if (xlat_regime == EL1_EL0_REGIME) { in xlat_arch_tlbi_va()100 assert(xlat_regime == EL2_REGIME); in xlat_arch_tlbi_va()156 uintptr_t max_va, __unused int xlat_regime) in setup_mmu_cfg() argument176 if (xlat_regime == EL1_EL0_REGIME) { in setup_mmu_cfg()[all …]
97 assert(tf_xlat_ctx.xlat_regime == EL_REGIME_INVALID); in init_xlat_tables()102 tf_xlat_ctx.xlat_regime = EL1_EL0_REGIME; in init_xlat_tables()104 tf_xlat_ctx.xlat_regime = EL2_REGIME; in init_xlat_tables()107 tf_xlat_ctx.xlat_regime = EL3_REGIME; in init_xlat_tables()144 if (tf_xlat_ctx.xlat_regime == EL1_EL0_REGIME) { in xlat_make_tables_readonly()146 } else if (tf_xlat_ctx.xlat_regime == EL3_REGIME) { in xlat_make_tables_readonly()149 assert(tf_xlat_ctx.xlat_regime == EL2_REGIME); in xlat_make_tables_readonly()156 assert(tf_xlat_ctx.xlat_regime == EL1_EL0_REGIME); in xlat_make_tables_readonly()174 if (tf_xlat_ctx.xlat_regime == EL1_EL0_REGIME) { in xlat_make_tables_readonly()177 assert(tf_xlat_ctx.xlat_regime == EL3_REGIME); in xlat_make_tables_readonly()
55 int xlat_regime = ctx->xlat_regime; in xlat_desc_print() local66 if ((xlat_regime == EL3_REGIME) || (xlat_regime == EL2_REGIME)) { in xlat_desc_print()71 assert(xlat_regime == EL1_EL0_REGIME); in xlat_desc_print()210 if (ctx->xlat_regime == EL1_EL0_REGIME) { in xlat_tables_print()212 } else if (ctx->xlat_regime == EL2_REGIME) { in xlat_tables_print()215 assert(ctx->xlat_regime == EL3_REGIME); in xlat_tables_print()342 assert((ctx->xlat_regime == EL1_EL0_REGIME) || in xlat_get_mem_attributes_internal()343 (ctx->xlat_regime == EL2_REGIME) || in xlat_get_mem_attributes_internal()344 (ctx->xlat_regime == EL3_REGIME)); in xlat_get_mem_attributes_internal()398 if (ctx->xlat_regime == EL1_EL0_REGIME) { in xlat_get_mem_attributes_internal()[all …]
140 if (ctx->xlat_regime == EL1_EL0_REGIME) { in xlat_desc()149 assert((ctx->xlat_regime == EL2_REGIME) || in xlat_desc()150 (ctx->xlat_regime == EL3_REGIME)); in xlat_desc()173 desc |= xlat_arch_regime_get_xn_desc(ctx->xlat_regime); in xlat_desc()195 desc |= xlat_arch_regime_get_xn_desc(ctx->xlat_regime); in xlat_desc()389 xlat_arch_tlbi_va(table_idx_va, ctx->xlat_regime); in xlat_tables_unmap_region()409 ctx->xlat_regime); in xlat_tables_unmap_region()1157 int xlat_regime, int *mapped_regions) in xlat_setup_dynamic_ctx() argument1159 ctx->xlat_regime = xlat_regime; in xlat_setup_dynamic_ctx()1189 assert((ctx->xlat_regime == EL3_REGIME) || in init_xlat_tables_ctx()[all …]
47 uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime);60 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime);
112 int xlat_regime; member175 .xlat_regime = (_xlat_regime) \
68 uintptr_t max_va, int xlat_regime);
245 int xlat_regime, int *mapped_regions);