nested_vmx_get_vmptr 4471 arch/x86/kvm/vmx/nested.c 	if (nested_vmx_get_vmptr(vcpu, &vmptr))
nested_vmx_get_vmptr 4549 arch/x86/kvm/vmx/nested.c 	if (nested_vmx_get_vmptr(vcpu, &vmptr))
nested_vmx_get_vmptr 4818 arch/x86/kvm/vmx/nested.c 	if (nested_vmx_get_vmptr(vcpu, &vmptr))