nested_vmx_free_vcpu   24 arch/x86/kvm/vmx/nested.h void nested_vmx_free_vcpu(struct kvm_vcpu *vcpu);
nested_vmx_free_vcpu 6665 arch/x86/kvm/vmx/vmx.c 	nested_vmx_free_vcpu(vcpu);