Symbol: vmx_has_valid_vmcs12
arch/x86/kvm/vmx/nested.c
6756
if (vmx_has_valid_vmcs12(vcpu)) {
arch/x86/kvm/vmx/nested.c
6800
if (!vmx_has_valid_vmcs12(vcpu))