kvm_hv_vcpu_uninit   62 arch/x86/kvm/hyperv.h void kvm_hv_vcpu_uninit(struct kvm_vcpu *vcpu);
kvm_hv_vcpu_uninit 9525 arch/x86/kvm/x86.c 	kvm_hv_vcpu_uninit(vcpu);