Lines Matching refs:secondary_ctls_high
1318 *high = &msrs->secondary_ctls_high; in vmx_get_control_msr()
1569 msrs->secondary_ctls_high); in vmx_get_vmx_msr()
2854 vmx->nested.msrs.secondary_ctls_high))) in nested_check_vm_execution_controls()
5885 if (!(vmx->nested.msrs.secondary_ctls_high & in handle_invept()
5966 if (!(vmx->nested.msrs.secondary_ctls_high & in handle_invvpid()
7086 msrs->secondary_ctls_high = vmcs_conf->cpu_based_2nd_exec_ctrl; in nested_vmx_setup_secondary_ctls()
7087 msrs->secondary_ctls_high &= in nested_vmx_setup_secondary_ctls()
7106 msrs->secondary_ctls_high |= in nested_vmx_setup_secondary_ctls()
7111 msrs->secondary_ctls_high |= in nested_vmx_setup_secondary_ctls()
7125 msrs->secondary_ctls_high |= in nested_vmx_setup_secondary_ctls()
7145 msrs->secondary_ctls_high |= in nested_vmx_setup_secondary_ctls()
7152 msrs->secondary_ctls_high |= in nested_vmx_setup_secondary_ctls()
7156 msrs->secondary_ctls_high |= in nested_vmx_setup_secondary_ctls()
7160 msrs->secondary_ctls_high |= SECONDARY_EXEC_ENCLS_EXITING; in nested_vmx_setup_secondary_ctls()