X-Git-Url: https://git.liburcu.org/?a=blobdiff_plain;f=urcu%2Fstatic%2Fwfstack.h;fp=urcu%2Fstatic%2Fwfstack.h;h=9efba0ee6185051c41d2816b0653d2b4191c78e3;hb=93aee570e96c48843659caa12667ff7157734532;hp=db0d5b8b1abda178f7cf0e14a0530d5bae43f8aa;hpb=96bd49dfcb6476da907cf7ebd9e245014879e9f2;p=urcu.git

diff --git a/urcu/static/wfstack.h b/urcu/static/wfstack.h
index db0d5b8..9efba0e 100644
--- a/urcu/static/wfstack.h
+++ b/urcu/static/wfstack.h
@@ -77,7 +77,8 @@ void _cds_wfs_node_init(struct cds_wfs_node *node)
 }
 
 /*
- * cds_wfs_init: initialize wait-free stack.
+ * cds_wfs_init: initialize wait-free stack. Pair with
+ * cds_wfs_destroy().
  */
 static inline
 void _cds_wfs_init(struct cds_wfs_stack *s)
@@ -89,6 +90,17 @@ void _cds_wfs_init(struct cds_wfs_stack *s)
 	assert(!ret);
 }
 
+/*
+ * cds_wfs_destroy: destroy wait-free stack. Pair with
+ * cds_wfs_init().
+ */
+static inline
+void _cds_wfs_destroy(struct cds_wfs_stack *s)
+{
+	int ret = pthread_mutex_destroy(&s->lock);
+	assert(!ret);
+}
+
 static inline bool ___cds_wfs_end(void *node)
 {
 	return node == CDS_WFS_END;