KVM_REQ_RESYNC_PMU_EL0
if (kvm_check_request(KVM_REQ_RESYNC_PMU_EL0, vcpu))
kvm_make_request(KVM_REQ_RESYNC_PMU_EL0, vcpu);