vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK);
 }
 
+static void __hyp_text __vgic_v3_read_pmr(struct kvm_vcpu *vcpu,
+                                         u32 vmcr, int rt)
+{
+       vmcr &= ICH_VMCR_PMR_MASK;
+       vmcr >>= ICH_VMCR_PMR_SHIFT;
+       vcpu_set_reg(vcpu, rt, vmcr);
+}
+
+static void __hyp_text __vgic_v3_write_pmr(struct kvm_vcpu *vcpu,
+                                          u32 vmcr, int rt)
+{
+       u32 val = vcpu_get_reg(vcpu, rt);
+
+       val <<= ICH_VMCR_PMR_SHIFT;
+       val &= ICH_VMCR_PMR_MASK;
+       vmcr &= ~ICH_VMCR_PMR_MASK;
+       vmcr |= val;
+
+       write_gicreg(vmcr, ICH_VMCR_EL2);
+}
+
 static void __hyp_text __vgic_v3_read_rpr(struct kvm_vcpu *vcpu,
                                          u32 vmcr, int rt)
 {
                else
                        fn = __vgic_v3_write_ctlr;
                break;
+       case SYS_ICC_PMR_EL1:
+               if (is_read)
+                       fn = __vgic_v3_read_pmr;
+               else
+                       fn = __vgic_v3_write_pmr;
+               break;
        default:
                return 0;
        }