return 0;
 }
 
+static unsigned int aa32_id_visibility(const struct kvm_vcpu *vcpu,
+                                      const struct sys_reg_desc *r)
+{
+       /*
+        * AArch32 ID registers are UNKNOWN if AArch32 isn't implemented at any
+        * EL. Promote to RAZ/WI in order to guarantee consistency between
+        * systems.
+        */
+       if (!kvm_supports_32bit_el0())
+               return REG_RAZ | REG_USER_WI;
+
+       return id_visibility(vcpu, r);
+}
+
 static unsigned int raz_visibility(const struct kvm_vcpu *vcpu,
                                   const struct sys_reg_desc *r)
 {
        .visibility = id_visibility,            \
 }
 
+/* sys_reg_desc initialiser for known cpufeature ID registers */
+#define AA32_ID_SANITISED(name) {              \
+       SYS_DESC(SYS_##name),                   \
+       .access = access_id_reg,                \
+       .get_user = get_id_reg,                 \
+       .set_user = set_id_reg,                 \
+       .visibility = aa32_id_visibility,       \
+}
+
 /*
  * sys_reg_desc initialiser for architecturally unallocated cpufeature ID
  * register with encoding Op0=3, Op1=0, CRn=0, CRm=crm, Op2=op2
 
        /* AArch64 mappings of the AArch32 ID registers */
        /* CRm=1 */
-       ID_SANITISED(ID_PFR0_EL1),
-       ID_SANITISED(ID_PFR1_EL1),
-       ID_SANITISED(ID_DFR0_EL1),
+       AA32_ID_SANITISED(ID_PFR0_EL1),
+       AA32_ID_SANITISED(ID_PFR1_EL1),
+       AA32_ID_SANITISED(ID_DFR0_EL1),
        ID_HIDDEN(ID_AFR0_EL1),
-       ID_SANITISED(ID_MMFR0_EL1),
-       ID_SANITISED(ID_MMFR1_EL1),
-       ID_SANITISED(ID_MMFR2_EL1),
-       ID_SANITISED(ID_MMFR3_EL1),
+       AA32_ID_SANITISED(ID_MMFR0_EL1),
+       AA32_ID_SANITISED(ID_MMFR1_EL1),
+       AA32_ID_SANITISED(ID_MMFR2_EL1),
+       AA32_ID_SANITISED(ID_MMFR3_EL1),
 
        /* CRm=2 */
-       ID_SANITISED(ID_ISAR0_EL1),
-       ID_SANITISED(ID_ISAR1_EL1),
-       ID_SANITISED(ID_ISAR2_EL1),
-       ID_SANITISED(ID_ISAR3_EL1),
-       ID_SANITISED(ID_ISAR4_EL1),
-       ID_SANITISED(ID_ISAR5_EL1),
-       ID_SANITISED(ID_MMFR4_EL1),
-       ID_SANITISED(ID_ISAR6_EL1),
+       AA32_ID_SANITISED(ID_ISAR0_EL1),
+       AA32_ID_SANITISED(ID_ISAR1_EL1),
+       AA32_ID_SANITISED(ID_ISAR2_EL1),
+       AA32_ID_SANITISED(ID_ISAR3_EL1),
+       AA32_ID_SANITISED(ID_ISAR4_EL1),
+       AA32_ID_SANITISED(ID_ISAR5_EL1),
+       AA32_ID_SANITISED(ID_MMFR4_EL1),
+       AA32_ID_SANITISED(ID_ISAR6_EL1),
 
        /* CRm=3 */
-       ID_SANITISED(MVFR0_EL1),
-       ID_SANITISED(MVFR1_EL1),
-       ID_SANITISED(MVFR2_EL1),
+       AA32_ID_SANITISED(MVFR0_EL1),
+       AA32_ID_SANITISED(MVFR1_EL1),
+       AA32_ID_SANITISED(MVFR2_EL1),
        ID_UNALLOCATED(3,3),
-       ID_SANITISED(ID_PFR2_EL1),
+       AA32_ID_SANITISED(ID_PFR2_EL1),
        ID_HIDDEN(ID_DFR1_EL1),
-       ID_SANITISED(ID_MMFR5_EL1),
+       AA32_ID_SANITISED(ID_MMFR5_EL1),
        ID_UNALLOCATED(3,7),
 
        /* AArch64 ID registers */