On 3/26/21 1:37 PM, Claudio Fontana wrote:
+#ifdef CONFIG_TCG
      if (arm_feature(env, ARM_FEATURE_M)) {
          return arm_v7m_mmu_idx_for_secstate(env, env->v7m.secure);
      }
+#endif /* CONFIG_TCG */

Better done with tcg_enabled.


r~

Reply via email to