Searched refs:VMX_VPID_EXTENT_SUPPORTED_MASK (Results 1 – 1 of 1) sorted by relevance
34 #define VMX_VPID_EXTENT_SUPPORTED_MASK \ macro5824 VMX_VPID_EXTENT_SUPPORTED_MASK) >> 8; in handle_invvpid()6981 VMX_VPID_EXTENT_SUPPORTED_MASK; in nested_vmx_setup_secondary_ctls()