GC_push_next_marked 1411 gc/include/private/gc_priv.h # define GC_push_next_marked_dirty(h) GC_push_next_marked(h)
GC_push_next_marked 1417 gc/include/private/gc_priv.h struct hblk * GC_push_next_marked GC_PROTO((struct hblk * h));
GC_push_next_marked  389 gc/mark.c          	    scan_ptr = GC_push_next_marked(scan_ptr);