Searched refs:nested_vmx_misc_high (Results 1 – 1 of 1) sorted by relevance
459 u32 nested_vmx_misc_high; member2716 vmx->nested.nested_vmx_misc_high); in nested_vmx_setup_ctls_msrs()2721 vmx->nested.nested_vmx_misc_high = 0; in nested_vmx_setup_ctls_msrs()2793 vmx->nested.nested_vmx_misc_high); in vmx_get_vmx_msr()