return true;
 }
 
+static bool check_s1pie_access_rw(struct kvm_vcpu *vcpu,
+                                 struct sys_reg_params *p,
+                                 const struct sys_reg_desc *r)
+{
+       if (!kvm_has_feat(vcpu->kvm, ID_AA64MMFR3_EL1, S1PIE, IMP)) {
+               kvm_inject_undefined(vcpu);
+               return false;
+       }
+
+       return access_rw(vcpu, p, r);
+}
+
 /*
  * See note at ARMv7 ARM B1.14.4 (TL;DR: S/W ops are not easily virtualized).
  */
        EL2_REG(HPFAR_EL2, access_rw, reset_val, 0),
 
        EL2_REG(MAIR_EL2, access_rw, reset_val, 0),
+       EL2_REG(PIRE0_EL2, check_s1pie_access_rw, reset_val, 0),
+       EL2_REG(PIR_EL2, check_s1pie_access_rw, reset_val, 0),
        EL2_REG(AMAIR_EL2, access_rw, reset_val, 0),
 
        EL2_REG(VBAR_EL2, access_rw, reset_val, 0),