setup_vmcs_config 6851 arch/x86/kvm/vmx/vmx.c 	if (setup_vmcs_config(&vmcs_conf, &vmx_cap) < 0)
setup_vmcs_config 7624 arch/x86/kvm/vmx/vmx.c 	if (setup_vmcs_config(&vmcs_config, &vmx_capability) < 0)