mark_mutex       1497 gc/pthread_support.c   static pthread_mutex_t mark_mutex =
mark_mutex       1500 gc/pthread_support.c   static pthread_mutex_t mark_mutex = PTHREAD_MUTEX_INITIALIZER;
mark_mutex       1512 gc/pthread_support.c     GC_generic_lock(&mark_mutex);
mark_mutex       1524 gc/pthread_support.c     if (pthread_mutex_unlock(&mark_mutex) != 0) {
mark_mutex       1540 gc/pthread_support.c     if (pthread_cond_wait(&builder_cv, &mark_mutex) != 0) {
mark_mutex       1578 gc/pthread_support.c     if (pthread_cond_wait(&mark_cv, &mark_mutex) != 0) {