my_mark_no       1934 gc/include/private/gc_priv.h      extern void GC_help_marker(word my_mark_no);
my_mark_no       1106 gc/mark.c      void GC_help_marker(word my_mark_no)
my_mark_no       1114 gc/mark.c          while (GC_mark_no < my_mark_no
my_mark_no       1115 gc/mark.c                 || !GC_help_wanted && GC_mark_no == my_mark_no) {
my_mark_no       1119 gc/mark.c          if (GC_mark_no != my_mark_no || my_id >= GC_markers) {
my_mark_no        133 gc/pthread_stop_world.c 	word my_mark_no = GC_mark_no;
my_mark_no        431 gc/pthread_support.c   word my_mark_no = 0;
my_mark_no        434 gc/pthread_support.c   for (;; ++my_mark_no) {
my_mark_no        441 gc/pthread_support.c     if (my_mark_no < GC_mark_no || my_mark_no > GC_mark_no + 2) {
my_mark_no        444 gc/pthread_support.c 	my_mark_no = GC_mark_no;
my_mark_no        447 gc/pthread_support.c 	GC_printf1("Starting mark helper for mark number %ld\n", my_mark_no);
my_mark_no        449 gc/pthread_support.c     GC_help_marker(my_mark_no);