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);