Searched refs:EL3_REGIME (Results 1 – 5 of 5) sorted by relevance
73 assert(ctx->xlat_regime == EL3_REGIME); in is_mmu_enabled_ctx()87 xlat_arch_tlbi_va_regime(va, EL3_REGIME); in xlat_arch_tlbi_va()110 assert(xlat_regime == EL3_REGIME); in xlat_arch_tlbi_va_regime()
23 assert(regime == EL3_REGIME); in xlat_arch_regime_get_xn_desc()
173 # define IMAGE_XLAT_DEFAULT_REGIME EL3_REGIME
129 EL3_REGIME, enumerator
157 assert(ctx->xlat_regime == EL3_REGIME); in xlat_desc()1050 if (xlat_regime == EL3_REGIME) { in xlat_desc_print()1069 if (xlat_regime == EL3_REGIME) { in xlat_desc_print()1193 assert(ctx->xlat_regime == EL3_REGIME); in xlat_tables_print()1230 assert(ctx->xlat_regime == EL3_REGIME || ctx->xlat_regime == EL1_EL0_REGIME); in init_xlat_tables_ctx()1427 assert(ctx->xlat_regime == EL1_EL0_REGIME || ctx->xlat_regime == EL3_REGIME); in get_mem_attributes_internal()