Searched refs:EL3_REGIME (Results 1 – 5 of 5) sorted by relevance
70 assert(ctx->xlat_regime == EL3_REGIME); in xlat_arch_get_pas()113 if ((ctx->xlat_regime == EL3_REGIME) && (pas == MT_ROOT)) { in xlat_arch_get_pas()202 assert(ctx->xlat_regime == EL3_REGIME); in is_mmu_enabled_ctx()227 (xlat_regime == EL3_REGIME)); in xlat_arch_regime_get_xn_desc()254 assert(xlat_regime == EL3_REGIME); in xlat_arch_tlbi_va()354 assert(xlat_regime == EL3_REGIME); in setup_mmu_cfg()
107 tf_xlat_ctx.xlat_regime = EL3_REGIME; in init_xlat_tables()146 } else if (tf_xlat_ctx.xlat_regime == EL3_REGIME) { in xlat_make_tables_readonly()177 assert(tf_xlat_ctx.xlat_regime == EL3_REGIME); in xlat_make_tables_readonly()231 tf_xlat_ctx.va_max_address, EL3_REGIME); in enable_mmu_el3()
70 if ((xlat_regime == EL3_REGIME) || (xlat_regime == EL2_REGIME)) { in xlat_desc_print()107 assert(ctx->xlat_regime == EL3_REGIME); in xlat_desc_print()137 if (ctx->xlat_regime == EL3_REGIME) { in xlat_desc_print()259 assert(ctx->xlat_regime == EL3_REGIME); in xlat_tables_print()388 (ctx->xlat_regime == EL3_REGIME)); in xlat_get_mem_attributes_internal()596 (ctx->xlat_regime == EL3_REGIME)) { in xlat_change_mem_attributes_ctx()
155 (ctx->xlat_regime == EL3_REGIME)); in xlat_desc()1214 assert((ctx->xlat_regime == EL3_REGIME) || in init_xlat_tables_ctx()
163 #define EL3_REGIME 3 macro