Searched refs:nested_vmx_secondary_ctls_high (Results 1 – 1 of 1) sorted by relevance
1889 static u32 nested_vmx_secondary_ctls_low, nested_vmx_secondary_ctls_high; variable1962 nested_vmx_secondary_ctls_low, nested_vmx_secondary_ctls_high); in nested_vmx_setup_ctls_msrs()1964 nested_vmx_secondary_ctls_high &= in nested_vmx_setup_ctls_msrs()2062 nested_vmx_secondary_ctls_high); in vmx_get_vmx_msr()6748 nested_vmx_secondary_ctls_low, nested_vmx_secondary_ctls_high) ||