6797 static void nested_vmx_setup_pinbased_ctls(struct vmcs_config *vmcs_conf,  in nested_vmx_setup_pinbased_ctls()  argument
6803 	msrs->pinbased_ctls_high = vmcs_conf->pin_based_exec_ctrl;  in nested_vmx_setup_pinbased_ctls()
6814 static void nested_vmx_setup_exit_ctls(struct vmcs_config *vmcs_conf,  in nested_vmx_setup_exit_ctls()  argument
6820 	msrs->exit_ctls_high = vmcs_conf->vmexit_ctrl;  in nested_vmx_setup_exit_ctls()
6837 static void nested_vmx_setup_entry_ctls(struct vmcs_config *vmcs_conf,  in nested_vmx_setup_entry_ctls()  argument
6843 	msrs->entry_ctls_high = vmcs_conf->vmentry_ctrl;  in nested_vmx_setup_entry_ctls()
6857 static void nested_vmx_setup_cpubased_ctls(struct vmcs_config *vmcs_conf,  in nested_vmx_setup_cpubased_ctls()  argument
6863 	msrs->procbased_ctls_high = vmcs_conf->cpu_based_exec_ctrl;  in nested_vmx_setup_cpubased_ctls()
6894 					    struct vmcs_config *vmcs_conf,  in nested_vmx_setup_secondary_ctls()  argument
6899 	msrs->secondary_ctls_high = vmcs_conf->cpu_based_2nd_exec_ctrl;  in nested_vmx_setup_secondary_ctls()
6976 static void nested_vmx_setup_misc_data(struct vmcs_config *vmcs_conf,  in nested_vmx_setup_misc_data()  argument
6979 	msrs->misc_low = (u32)vmcs_conf->misc & VMX_MISC_SAVE_EFER_LMA;  in nested_vmx_setup_misc_data()
7036 void nested_vmx_setup_ctls_msrs(struct vmcs_config *vmcs_conf, u32 ept_caps)  in nested_vmx_setup_ctls_msrs()  argument
7038 	struct nested_vmx_msrs *msrs = &vmcs_conf->nested;  in nested_vmx_setup_ctls_msrs()
7054 	nested_vmx_setup_pinbased_ctls(vmcs_conf, msrs);  in nested_vmx_setup_ctls_msrs()
7056 	nested_vmx_setup_exit_ctls(vmcs_conf, msrs);  in nested_vmx_setup_ctls_msrs()
7058 	nested_vmx_setup_entry_ctls(vmcs_conf, msrs);  in nested_vmx_setup_ctls_msrs()
7060 	nested_vmx_setup_cpubased_ctls(vmcs_conf, msrs);  in nested_vmx_setup_ctls_msrs()
7062 	nested_vmx_setup_secondary_ctls(ept_caps, vmcs_conf, msrs);  in nested_vmx_setup_ctls_msrs()
7064 	nested_vmx_setup_misc_data(vmcs_conf, msrs);  in nested_vmx_setup_ctls_msrs()