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~