push_fn          1310 gc/include/private/gc_priv.h     void (*push_fn) GC_PROTO((ptr_t bottom, ptr_t top)) ));
push_fn          1226 gc/mark.c      void GC_push_selected(bottom, top, dirty_fn, push_fn)
push_fn          1230 gc/mark.c      void (*push_fn) GC_PROTO((ptr_t bottom, ptr_t top));
push_fn          1241 gc/mark.c      	    (*push_fn)(bottom, top);
push_fn          1246 gc/mark.c              (*push_fn)(bottom, (ptr_t)h);
push_fn          1253 gc/mark.c      		(*push_fn)((ptr_t)h, top);
push_fn          1256 gc/mark.c      		(*push_fn)((ptr_t)h, (ptr_t)(h+1));
push_fn          1263 gc/mark.c                  (*push_fn)((ptr_t)h, top);