GC_helper_count   111 gc/include/private/gc_pmark.h     extern unsigned GC_helper_count;	/* Number of running helpers.	*/
GC_helper_count   814 gc/mark.c      unsigned GC_helper_count = 0;
GC_helper_count   934 gc/mark.c      	    GC_active_count < GC_helper_count
GC_helper_count  1009 gc/mark.c      		GC_ASSERT(GC_active_count <= GC_helper_count);
GC_helper_count  1029 gc/mark.c      		    GC_helper_count--;
GC_helper_count  1030 gc/mark.c      		    if (0 == GC_helper_count) need_to_notify = TRUE;
GC_helper_count  1074 gc/mark.c          if (GC_help_wanted || GC_active_count != 0 || GC_helper_count != 0)
GC_helper_count  1082 gc/mark.c          GC_helper_count = 1;
GC_helper_count  1091 gc/mark.c          while (GC_helper_count > 0) GC_wait_marker();
GC_helper_count  1118 gc/mark.c          my_id = GC_helper_count;
GC_helper_count  1125 gc/mark.c          GC_helper_count = my_id + 1;