Searched refs:procbased_ctls_high (Results 1 – 1 of 1) sorted by relevance
783 u32 procbased_ctls_high; member1962 return to_vmx(vcpu)->nested.msrs.procbased_ctls_high & in nested_cpu_supports_monitor_trap_flag()3556 msrs->procbased_ctls_high); in nested_vmx_setup_ctls_msrs()3559 msrs->procbased_ctls_high &= in nested_vmx_setup_ctls_msrs()3579 msrs->procbased_ctls_high |= in nested_vmx_setup_ctls_msrs()3776 highp = &vmx->nested.msrs.procbased_ctls_high; in vmx_restore_control_msr()3979 msrs->procbased_ctls_high); in vmx_get_vmx_msr()12420 vmx->nested.msrs.procbased_ctls_high) || in check_vmentry_prereqs()
