GC_push_other_roots 1350 gc/include/private/gc_priv.h extern void (*GC_push_other_roots) GC_PROTO((void));
GC_push_other_roots  646 gc/mark_rts.c      if (GC_push_other_roots != 0) (*GC_push_other_roots)();
GC_push_other_roots 1959 gc/os_dep.c    void (*GC_push_other_roots)() = 0;
GC_push_other_roots 2067 gc/os_dep.c    void (*GC_push_other_roots) GC_PROTO((void)) = GC_default_push_other_roots;