Searched refs:pinbased_ctls_high (Results 1 – 1 of 1) sorted by relevance
787 u32 pinbased_ctls_high; member3504 msrs->pinbased_ctls_high); in nested_vmx_setup_ctls_msrs()3507 msrs->pinbased_ctls_high &= in nested_vmx_setup_ctls_msrs()3512 msrs->pinbased_ctls_high |= in nested_vmx_setup_ctls_msrs()3772 highp = &vmx->nested.msrs.pinbased_ctls_high; in vmx_restore_control_msr()3825 if ((vmx->nested.msrs.pinbased_ctls_high & in vmx_restore_vmx_misc()3971 msrs->pinbased_ctls_high); in vmx_get_vmx_msr()12427 vmx->nested.msrs.pinbased_ctls_high) || in check_vmentry_prereqs()
