kvm_pmu_get_counter_value
*val = kvm_pmu_get_counter_value(vcpu, idx);
p->regval = kvm_pmu_get_counter_value(vcpu, idx);
u64 kvm_pmu_get_counter_value(struct kvm_vcpu *vcpu, u64 select_idx);