Lines Matching refs:nested_vmx_secondary_ctls_high
438 u32 nested_vmx_secondary_ctls_high; member
2610 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()
8954 vmx->nested.nested_vmx_secondary_ctls_high &= in vmx_cpuid_update()
8975 vmx->nested.nested_vmx_secondary_ctls_high |= in vmx_cpuid_update()
8978 vmx->nested.nested_vmx_secondary_ctls_high &= in vmx_cpuid_update()
9863 vmx->nested.nested_vmx_secondary_ctls_high) || in nested_vmx_run()