Searched refs:nested_vmx_misc_high (Results 1 – 1 of 1) sorted by relevance
441 u32 nested_vmx_misc_high; member2521 vmx->nested.nested_vmx_misc_high); in nested_vmx_setup_ctls_msrs()2526 vmx->nested.nested_vmx_misc_high = 0; in nested_vmx_setup_ctls_msrs()2598 vmx->nested.nested_vmx_misc_high); in vmx_get_vmx_msr()