Lines Matching refs:xlat_regime
57 int xlat_regime = ctx->xlat_regime; in xlat_desc_print() local
68 if ((xlat_regime == EL3_REGIME) || (xlat_regime == EL2_REGIME)) { in xlat_desc_print()
73 assert(xlat_regime == EL1_EL0_REGIME); in xlat_desc_print()
228 if (ctx->xlat_regime == EL1_EL0_REGIME) { in xlat_tables_print()
230 } else if (ctx->xlat_regime == EL2_REGIME) { in xlat_tables_print()
233 assert(ctx->xlat_regime == EL3_REGIME); in xlat_tables_print()
360 assert((ctx->xlat_regime == EL1_EL0_REGIME) || in xlat_get_mem_attributes_internal()
361 (ctx->xlat_regime == EL2_REGIME) || in xlat_get_mem_attributes_internal()
362 (ctx->xlat_regime == EL3_REGIME)); in xlat_get_mem_attributes_internal()
416 if (ctx->xlat_regime == EL1_EL0_REGIME) { in xlat_get_mem_attributes_internal()
477 uint64_t xn_mask = xlat_arch_regime_get_xn_desc(ctx->xlat_regime); in xlat_get_mem_attributes_internal()
625 xlat_arch_tlbi_va(base_va, ctx->xlat_regime); in xlat_change_mem_attributes_ctx()