From 4abab5ad6c8465a7528ccdd5f49367da05f78bbd Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Tue, 1 Oct 2024 15:47:05 +0200
Subject: Initial version

---
 src/thread/pthread_mutex_destroy.c | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 src/thread/pthread_mutex_destroy.c

(limited to 'src/thread/pthread_mutex_destroy.c')

diff --git a/src/thread/pthread_mutex_destroy.c b/src/thread/pthread_mutex_destroy.c
new file mode 100644
index 0000000..8d1bf77
--- /dev/null
+++ b/src/thread/pthread_mutex_destroy.c
@@ -0,0 +1,10 @@
+#include "pthread_impl.h"
+
+int pthread_mutex_destroy(pthread_mutex_t *mutex)
+{
+	/* If the mutex being destroyed is process-shared and has nontrivial
+	 * type (tracking ownership), it might be in the pending slot of a
+	 * robust_list; wait for quiescence. */
+	if (mutex->_m_type > 128) __vm_wait();
+	return 0;
+}
-- 
cgit v1.2.3