Searched refs:nested_vmx_pinbased_ctls_high (Results 1 – 1 of 1) sorted by relevance
433 u32 nested_vmx_pinbased_ctls_high; member2388 vmx->nested.nested_vmx_pinbased_ctls_high); in nested_vmx_setup_ctls_msrs()2391 vmx->nested.nested_vmx_pinbased_ctls_high &= in nested_vmx_setup_ctls_msrs()2395 vmx->nested.nested_vmx_pinbased_ctls_high |= in nested_vmx_setup_ctls_msrs()2399 vmx->nested.nested_vmx_pinbased_ctls_high |= in nested_vmx_setup_ctls_msrs()2563 vmx->nested.nested_vmx_pinbased_ctls_high); in vmx_get_vmx_msr()9454 vmx->nested.nested_vmx_pinbased_ctls_high) || in nested_vmx_run()