Searched refs:xlat_regime (Results 1 – 13 of 13) sorted by relevance
157 assert(ctx->xlat_regime == EL3_REGIME); in is_mmu_enabled_ctx()178 if (xlat_regime == EL1_EL0_REGIME) { in xlat_arch_regime_get_xn_desc()181 assert((xlat_regime == EL2_REGIME) || in xlat_arch_regime_get_xn_desc()182 (xlat_regime == EL3_REGIME)); in xlat_arch_regime_get_xn_desc()202 if (xlat_regime == EL1_EL0_REGIME) { in xlat_arch_tlbi_va()205 } else if (xlat_regime == EL2_REGIME) { in xlat_arch_tlbi_va()209 assert(xlat_regime == EL3_REGIME); in xlat_arch_tlbi_va()249 uintptr_t max_va, int xlat_regime) in setup_mmu_cfg() argument300 if (xlat_regime == EL1_EL0_REGIME) { in setup_mmu_cfg()306 } else if (xlat_regime == EL2_REGIME) { in setup_mmu_cfg()[all …]
77 if (ctx->xlat_regime == EL1_EL0_REGIME) { in is_mmu_enabled_ctx()81 assert(ctx->xlat_regime == EL2_REGIME); in is_mmu_enabled_ctx()96 uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime) in xlat_arch_regime_get_xn_desc() argument98 if (xlat_regime == EL1_EL0_REGIME) { in xlat_arch_regime_get_xn_desc()101 assert(xlat_regime == EL2_REGIME); in xlat_arch_regime_get_xn_desc()106 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime) in xlat_arch_tlbi_va() argument114 if (xlat_regime == EL1_EL0_REGIME) { in xlat_arch_tlbi_va()117 assert(xlat_regime == EL2_REGIME); in xlat_arch_tlbi_va()173 uintptr_t max_va, __unused int xlat_regime) in setup_mmu_cfg() argument193 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()
56 int xlat_regime = ctx->xlat_regime; in xlat_desc_print() local67 if ((xlat_regime == EL3_REGIME) || (xlat_regime == EL2_REGIME)) { in xlat_desc_print()72 assert(xlat_regime == EL1_EL0_REGIME); in xlat_desc_print()227 if (ctx->xlat_regime == EL1_EL0_REGIME) { in xlat_tables_print()229 } else if (ctx->xlat_regime == EL2_REGIME) { in xlat_tables_print()232 assert(ctx->xlat_regime == EL3_REGIME); in xlat_tables_print()359 assert((ctx->xlat_regime == EL1_EL0_REGIME) || in xlat_get_mem_attributes_internal()360 (ctx->xlat_regime == EL2_REGIME) || in xlat_get_mem_attributes_internal()361 (ctx->xlat_regime == EL3_REGIME)); in xlat_get_mem_attributes_internal()415 if (ctx->xlat_regime == EL1_EL0_REGIME) { in xlat_get_mem_attributes_internal()[all …]
50 uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime);63 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime);
143 if (ctx->xlat_regime == EL1_EL0_REGIME) { in xlat_desc()152 assert((ctx->xlat_regime == EL2_REGIME) || in xlat_desc()153 (ctx->xlat_regime == EL3_REGIME)); in xlat_desc()176 desc |= xlat_arch_regime_get_xn_desc(ctx->xlat_regime); in xlat_desc()392 xlat_arch_tlbi_va(table_idx_va, ctx->xlat_regime); in xlat_tables_unmap_region()412 ctx->xlat_regime); in xlat_tables_unmap_region()1160 int xlat_regime, int *mapped_regions) in xlat_setup_dynamic_ctx() argument1162 ctx->xlat_regime = xlat_regime; in xlat_setup_dynamic_ctx()1192 assert((ctx->xlat_regime == EL3_REGIME) || in init_xlat_tables_ctx()1193 (ctx->xlat_regime == EL2_REGIME) || in init_xlat_tables_ctx()[all …]
42 assert(tf_xlat_ctx.xlat_regime == EL_REGIME_INVALID); in init_xlat_tables()47 tf_xlat_ctx.xlat_regime = EL1_EL0_REGIME; in init_xlat_tables()50 tf_xlat_ctx.xlat_regime = EL2_REGIME; in init_xlat_tables()
68 uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime);
324 assert((ctx->xlat_regime == EL2_REGIME) || in init_xlat_tables_ctx()325 (ctx->xlat_regime == EL1_EL0_REGIME)); in init_xlat_tables_ctx()
112 int xlat_regime; member175 .xlat_regime = (_xlat_regime) \
68 uintptr_t max_va, int xlat_regime);
259 int xlat_regime, int *mapped_regions);
41 if (ctx->xlat_regime == EL1_EL0_REGIME) { in is_mpu_enabled_ctx()
Completed in 17 milliseconds