Lines Matching defs:xlat_regime

77 	if (ctx->xlat_regime == EL1_EL0_REGIME) {
81 		assert(ctx->xlat_regime == EL2_REGIME);
96 uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime)
98 	if (xlat_regime == EL1_EL0_REGIME) {
101 		assert(xlat_regime == EL2_REGIME);
106 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime)
114 	if (xlat_regime == EL1_EL0_REGIME) {
117 		assert(xlat_regime == EL2_REGIME);
173 		   uintptr_t max_va, __unused int xlat_regime)
193 	if (xlat_regime == EL1_EL0_REGIME) {
201 		assert(xlat_regime == EL2_REGIME);