setup_vmcs_config 1258 arch/x86/kvm/vmx.c if (setup_vmcs_config(&vmcs_config) < 0) setup_vmcs_config 3177 arch/x86/kvm/vmx.c if (setup_vmcs_config(&vmcs_conf) < 0)