Searched refs:pinbased_ctls_high (Results 1 – 2 of 2) sorted by relevance
37 u32 pinbased_ctls_high; member
1318 *high = &msrs->pinbased_ctls_high; in vmx_get_control_msr()1392 if ((vmx->nested.msrs.pinbased_ctls_high & in vmx_restore_vmx_misc()1534 msrs->pinbased_ctls_high); in vmx_get_vmx_msr()2862 vmx->nested.msrs.pinbased_ctls_high)) || in nested_check_vm_execution_controls()7009 msrs->pinbased_ctls_high = vmcs_conf->pin_based_exec_ctrl; in nested_vmx_setup_pinbased_ctls()7010 msrs->pinbased_ctls_high &= in nested_vmx_setup_pinbased_ctls()7015 msrs->pinbased_ctls_high |= in nested_vmx_setup_pinbased_ctls()
Completed in 14 milliseconds