kvm_pmu_software_increment
kvm_pmu_software_increment(vcpu, p->regval & mask);
void kvm_pmu_software_increment(struct kvm_vcpu *vcpu, u64 val);