GC_push_marked   1407 gc/include/private/gc_priv.h void GC_push_marked GC_PROTO((struct hblk * h, hdr * hhdr));
GC_push_marked   1765 gc/mark.c          GC_push_marked(h, hhdr);
GC_push_marked   1794 gc/mark.c          GC_push_marked(h, hhdr);
GC_push_marked   1813 gc/mark.c          GC_push_marked(h, hhdr);