Searched refs:nested_vmx_secondary_ctls_high (Results 1 – 1 of 1) sorted by relevance
431 u32 nested_vmx_secondary_ctls_high; member2486 vmx->nested.nested_vmx_secondary_ctls_high); in nested_vmx_setup_ctls_msrs()2488 vmx->nested.nested_vmx_secondary_ctls_high &= in nested_vmx_setup_ctls_msrs()2499 vmx->nested.nested_vmx_secondary_ctls_high |= in nested_vmx_setup_ctls_msrs()2515 vmx->nested.nested_vmx_secondary_ctls_high |= in nested_vmx_setup_ctls_msrs()2625 vmx->nested.nested_vmx_secondary_ctls_high); in vmx_get_vmx_msr()5238 if (to_vmx(vcpu)->nested.nested_vmx_secondary_ctls_high & in nested_cr0_valid()7190 if (!(vmx->nested.nested_vmx_secondary_ctls_high & in handle_invept()8561 vmx->nested.nested_vmx_secondary_ctls_high &= in vmx_cpuid_update()9451 vmx->nested.nested_vmx_secondary_ctls_high) || in nested_vmx_run()