Searched refs:nested_vmx_pinbased_ctls_high (Results 1 – 1 of 1) sorted by relevance
440 u32 nested_vmx_pinbased_ctls_high; member2512 vmx->nested.nested_vmx_pinbased_ctls_high); in nested_vmx_setup_ctls_msrs()2515 vmx->nested.nested_vmx_pinbased_ctls_high &= in nested_vmx_setup_ctls_msrs()2519 vmx->nested.nested_vmx_pinbased_ctls_high |= in nested_vmx_setup_ctls_msrs()2523 vmx->nested.nested_vmx_pinbased_ctls_high |= in nested_vmx_setup_ctls_msrs()2702 vmx->nested.nested_vmx_pinbased_ctls_high); in vmx_get_vmx_msr()9866 vmx->nested.nested_vmx_pinbased_ctls_high) || in nested_vmx_run()