GC_push_finalizer_structures   88 gc/finalize.c  void GC_push_finalizer_structures GC_PROTO((void))
GC_push_finalizer_structures 1363 gc/include/private/gc_priv.h 	extern void GC_push_finalizer_structures GC_PROTO((void));
GC_push_finalizer_structures  540 gc/mark_rts.c      GC_push_finalizer_structures();