+/* threads_mutex_gc_lock *******************************************************
+
+ Enter the global GC mutex.
+
+*******************************************************************************/
+
+#if defined(ENABLE_GC_CACAO)
+void threads_mutex_gc_lock(void)
+{
+ if (pthread_mutex_lock(&mutex_gc) != 0)
+ vm_abort("threads_mutex_gc_lock: pthread_mutex_lock failed: %s",
+ strerror(errno));
+}
+#endif
+
+
+/* threads_mutex_gc_unlock *****************************************************
+
+ Leave the global GC mutex.
+
+*******************************************************************************/
+
+#if defined(ENABLE_GC_CACAO)
+void threads_mutex_gc_unlock(void)
+{
+ if (pthread_mutex_unlock(&mutex_gc) != 0)
+ vm_abort("threads_mutex_gc_unlock: pthread_mutex_unlock failed: %s",
+ strerror(errno));
+}
+#endif
+