kvm_pmu_reset     384 arch/x86/kvm/pmu.c 	kvm_pmu_reset(vcpu);
kvm_pmu_reset     128 arch/x86/kvm/pmu.h void kvm_pmu_reset(struct kvm_vcpu *vcpu);
kvm_pmu_reset    9268 arch/x86/kvm/x86.c 		kvm_pmu_reset(vcpu);