Searched refs:pinbased_ctls_high (Results 1 – 3 of 3) sorted by relevance
31 u32 pinbased_ctls_high; member
364 vmx->nested.msrs.pinbased_ctls_high &= ~EVMCS1_UNSUPPORTED_PINCTRL; in nested_enable_evmcs()
1095 highp = &vmx->nested.msrs.pinbased_ctls_high; in vmx_restore_control_msr()1148 if ((vmx->nested.msrs.pinbased_ctls_high & in vmx_restore_vmx_misc()1291 msrs->pinbased_ctls_high); in vmx_get_vmx_msr()2497 vmx->nested.msrs.pinbased_ctls_high)) || in nested_check_vm_execution_controls()5808 msrs->pinbased_ctls_high); in nested_vmx_setup_ctls_msrs()5811 msrs->pinbased_ctls_high &= in nested_vmx_setup_ctls_msrs()5816 msrs->pinbased_ctls_high |= in nested_vmx_setup_ctls_msrs()