vmx_has_valid_vmcs12 5533 arch/x86/kvm/vmx/nested.c 		if (vmx_has_valid_vmcs12(vcpu)) {
vmx_has_valid_vmcs12 5565 arch/x86/kvm/vmx/nested.c 	if (!vmx_has_valid_vmcs12(vcpu))