Lines Matching defs:xlat_regime

149 	if (ctx->xlat_regime == EL1_EL0_REGIME) {
152 	} else if (ctx->xlat_regime == EL2_REGIME) {
156 		assert(ctx->xlat_regime == EL3_REGIME);
175 uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime)
177 	if (xlat_regime == EL1_EL0_REGIME) {
180 		assert((xlat_regime == EL2_REGIME) ||
181 		       (xlat_regime == EL3_REGIME));
186 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime)
201 	if (xlat_regime == EL1_EL0_REGIME) {
204 	} else if (xlat_regime == EL2_REGIME) {
208 		assert(xlat_regime == EL3_REGIME);
248 		   uintptr_t max_va, int xlat_regime)
299 	if (xlat_regime == EL1_EL0_REGIME) {
305 	} else if (xlat_regime == EL2_REGIME) {
308 		assert(xlat_regime == EL3_REGIME);