Searched refs:EL3_REGIME (Results 1 – 5 of 5) sorted by relevance
130 assert(ctx->xlat_regime == EL3_REGIME); in is_mmu_enabled_ctx()155 (xlat_regime == EL3_REGIME)); in xlat_arch_regime_get_xn_desc()182 assert(xlat_regime == EL3_REGIME); in xlat_arch_tlbi_va()282 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()
66 if ((xlat_regime == EL3_REGIME) || (xlat_regime == EL2_REGIME)) { in xlat_desc_print()215 assert(ctx->xlat_regime == EL3_REGIME); in xlat_tables_print()344 (ctx->xlat_regime == EL3_REGIME)); in xlat_get_mem_attributes_internal()
150 (ctx->xlat_regime == EL3_REGIME)); in xlat_desc()1189 assert((ctx->xlat_regime == EL3_REGIME) || in init_xlat_tables_ctx()
149 #define EL3_REGIME 3 macro