Symbol: nested_vmx_check_restored_vmcs12
arch/x86/kvm/vmx/nested.c
7041
ret = nested_vmx_check_restored_vmcs12(vcpu);
arch/x86/kvm/vmx/nested.h
25
int nested_vmx_check_restored_vmcs12(struct kvm_vcpu *vcpu);
arch/x86/kvm/vmx/vmx.c
8532
if (nested_vmx_check_restored_vmcs12(vcpu) < 0)