Lines Matching defs:xlat_regime

56 	int xlat_regime = ctx->xlat_regime;
67 	if ((xlat_regime == EL3_REGIME) || (xlat_regime == EL2_REGIME)) {
72 		assert(xlat_regime == EL1_EL0_REGIME);
227 	if (ctx->xlat_regime == EL1_EL0_REGIME) {
229 	} else if (ctx->xlat_regime == EL2_REGIME) {
232 		assert(ctx->xlat_regime == EL3_REGIME);
359 	assert((ctx->xlat_regime == EL1_EL0_REGIME) ||
360 	       (ctx->xlat_regime == EL2_REGIME) ||
361 	       (ctx->xlat_regime == EL3_REGIME));
415 	if (ctx->xlat_regime == EL1_EL0_REGIME) {
427 	uint64_t xn_mask = xlat_arch_regime_get_xn_desc(ctx->xlat_regime);
575 		xlat_arch_tlbi_va(base_va, ctx->xlat_regime);