|
@@ -653,6 +653,10 @@ static void aarch64_max_initfn(Object *obj)
|
|
|
t = FIELD_DP64(t, ID_AA64PFR1, MTE, 2);
|
|
|
cpu->isar.id_aa64pfr1 = t;
|
|
|
|
|
|
+ t = cpu->isar.id_aa64mmfr0;
|
|
|
+ t = FIELD_DP64(t, ID_AA64MMFR0, PARANGE, 5); /* PARange: 48 bits */
|
|
|
+ cpu->isar.id_aa64mmfr0 = t;
|
|
|
+
|
|
|
t = cpu->isar.id_aa64mmfr1;
|
|
|
t = FIELD_DP64(t, ID_AA64MMFR1, HPDS, 1); /* HPD */
|
|
|
t = FIELD_DP64(t, ID_AA64MMFR1, LO, 1);
|