Searched refs:EL3_REGIME (Results 1 – 5 of 5) sorted by relevance
151 assert(ctx->xlat_regime == EL3_REGIME); in is_mmu_enabled_ctx()176 (xlat_regime == EL3_REGIME)); in xlat_arch_regime_get_xn_desc()203 assert(xlat_regime == EL3_REGIME); in xlat_arch_tlbi_va()303 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()
68 if ((xlat_regime == EL3_REGIME) || (xlat_regime == EL2_REGIME)) { in xlat_desc_print()233 assert(ctx->xlat_regime == EL3_REGIME); in xlat_tables_print()362 (ctx->xlat_regime == EL3_REGIME)); in xlat_get_mem_attributes_internal()
155 (ctx->xlat_regime == EL3_REGIME)); in xlat_desc()1209 assert((ctx->xlat_regime == EL3_REGIME) || in init_xlat_tables_ctx()
156 #define EL3_REGIME 3 macro