PUSH_OBJ          283 gc/finalize.c      PUSH_OBJ((word *)p, hhdr, GC_mark_stack_top,
PUSH_OBJ          265 gc/include/private/gc_pmark.h     PUSH_OBJ(((word *)(HBLKPTR(current)) + displ), hhdr, \
PUSH_OBJ         1393 gc/mark.c      	    PUSH_OBJ((word *)r, hhdr, GC_mark_stack_top,
PUSH_OBJ         1722 gc/mark.c                   PUSH_OBJ((word *)p, hhdr, GC_mark_stack_top_reg, mark_stack_limit);