Searched refs:nested_vmx_vpid_caps (Results 1 – 1 of 1) sorted by relevance
450 u32 nested_vmx_vpid_caps; member2647 vmx->nested.nested_vmx_vpid_caps = VMX_VPID_INVVPID_BIT | in nested_vmx_setup_ctls_msrs()2651 vmx->nested.nested_vmx_vpid_caps = 0; in nested_vmx_setup_ctls_msrs()2769 ((u64)vmx->nested.nested_vmx_vpid_caps << 32); in vmx_get_vmx_msr()7393 !(vmx->nested.nested_vmx_vpid_caps & VMX_VPID_INVVPID_BIT)) { in handle_invvpid()7404 types = (vmx->nested.nested_vmx_vpid_caps >> 8) & 0x7; in handle_invvpid()