Searched refs:nested_vmx_secondary_ctls_high (Results 1 – 1 of 1) sorted by relevance
438 u32 nested_vmx_secondary_ctls_high; member2610 vmx->nested.nested_vmx_secondary_ctls_high); in nested_vmx_setup_ctls_msrs()2612 vmx->nested.nested_vmx_secondary_ctls_high &= in nested_vmx_setup_ctls_msrs()2625 vmx->nested.nested_vmx_secondary_ctls_high |= in nested_vmx_setup_ctls_msrs()2654 vmx->nested.nested_vmx_secondary_ctls_high |= in nested_vmx_setup_ctls_msrs()2764 vmx->nested.nested_vmx_secondary_ctls_high); in vmx_get_vmx_msr()5382 if (to_vmx(vcpu)->nested.nested_vmx_secondary_ctls_high & in nested_cr0_valid()7327 if (!(vmx->nested.nested_vmx_secondary_ctls_high & in handle_invept()7391 if (!(vmx->nested.nested_vmx_secondary_ctls_high & in handle_invvpid()8951 vmx->nested.nested_vmx_secondary_ctls_high |= in vmx_cpuid_update()[all …]