free_partial_vcpu 6693 arch/x86/kvm/vmx/vmx.c 		goto free_partial_vcpu;
free_partial_vcpu 6805 arch/x86/kvm/vmx/vmx.c free_partial_vcpu: