|
@@ -1184,6 +1184,7 @@ void aarch64_max_tcg_initfn(Object *obj)
|
|
|
t = FIELD_DP64(t, ID_AA64MMFR0, TGRAN64_2, 2); /* 64k stage2 supported */
|
|
|
t = FIELD_DP64(t, ID_AA64MMFR0, TGRAN4_2, 2); /* 4k stage2 supported */
|
|
|
t = FIELD_DP64(t, ID_AA64MMFR0, FGT, 1); /* FEAT_FGT */
|
|
|
+ t = FIELD_DP64(t, ID_AA64MMFR0, ECV, 2); /* FEAT_ECV */
|
|
|
cpu->isar.id_aa64mmfr0 = t;
|
|
|
|
|
|
t = cpu->isar.id_aa64mmfr1;
|