Searched refs:VMX_VPID_EXTENT_SUPPORTED_MASK (Results 1 – 1 of 1) sorted by relevance
33 #define VMX_VPID_EXTENT_SUPPORTED_MASK \ macro5777 VMX_VPID_EXTENT_SUPPORTED_MASK) >> 8; in handle_invvpid()6928 VMX_VPID_EXTENT_SUPPORTED_MASK; in nested_vmx_setup_secondary_ctls()