Searched refs:nested_vmx_pinbased_ctls_high (Results 1 – 1 of 1) sorted by relevance
451 u32 nested_vmx_pinbased_ctls_high; member2569 vmx->nested.nested_vmx_pinbased_ctls_high); in nested_vmx_setup_ctls_msrs()2572 vmx->nested.nested_vmx_pinbased_ctls_high &= in nested_vmx_setup_ctls_msrs()2576 vmx->nested.nested_vmx_pinbased_ctls_high |= in nested_vmx_setup_ctls_msrs()2580 vmx->nested.nested_vmx_pinbased_ctls_high |= in nested_vmx_setup_ctls_msrs()2758 vmx->nested.nested_vmx_pinbased_ctls_high); in vmx_get_vmx_msr()10079 vmx->nested.nested_vmx_pinbased_ctls_high) || in nested_vmx_run()