On 5/9/22 10:54, Peter Maydell wrote:
@@ -841,6 +841,7 @@ static void aarch64_max_initfn(Object *obj)
      t = FIELD_DP64(t, ID_AA64MMFR2, VARANGE, 1); /* FEAT_LVA */
      t = FIELD_DP64(t, ID_AA64MMFR2, TTL, 1); /* FEAT_TTL */
      t = FIELD_DP64(t, ID_AA64MMFR2, BBM, 2); /* FEAT_BBM at level 2 */
+    t = FIELD_DP64(t, ID_AA64MMFR2, IDS, 1); /* FEAT_IDST */

Ideally this should be sorted before TTL, by bit order.

Otherwise,
Reviewed-by: Richard Henderson <richard.hender...@linaro.org>


r~

Reply via email to