Searched refs:VMX_VPID_EXTENT_SUPPORTED_MASK (Results 1 – 1 of 1) sorted by relevance
32 #define VMX_VPID_EXTENT_SUPPORTED_MASK \ macro5719 VMX_VPID_EXTENT_SUPPORTED_MASK) >> 8; in handle_invvpid()6887 VMX_VPID_EXTENT_SUPPORTED_MASK; in nested_vmx_setup_ctls_msrs()