GC_push_regs 1376 gc/include/private/gc_priv.h void GC_push_regs GC_PROTO((void)); GC_push_regs 396 gc/mach_dep.c --> We just generated an empty GC_push_regs, which GC_push_regs 639 gc/mark_rts.c GC_push_regs(); /* usually defined in machine_dep.c */