HAVE_PUSH_REGS     78 gc/mach_dep.c  #undef HAVE_PUSH_REGS
HAVE_PUSH_REGS     95 gc/mach_dep.c  #	  define HAVE_PUSH_REGS
HAVE_PUSH_REGS    118 gc/mach_dep.c  #	  define HAVE_PUSH_REGS
HAVE_PUSH_REGS    141 gc/mach_dep.c  #	  define HAVE_PUSH_REGS
HAVE_PUSH_REGS    165 gc/mach_dep.c  #	  define HAVE_PUSH_REGS
HAVE_PUSH_REGS    182 gc/mach_dep.c  #	  define HAVE_PUSH_REGS
HAVE_PUSH_REGS    205 gc/mach_dep.c  #	  define HAVE_PUSH_REGS
HAVE_PUSH_REGS    210 gc/mach_dep.c  #	  define HAVE_PUSH_REGS
HAVE_PUSH_REGS    233 gc/mach_dep.c  #	  define HAVE_PUSH_REGS
HAVE_PUSH_REGS    256 gc/mach_dep.c  #	  define HAVE_PUSH_REGS
HAVE_PUSH_REGS    268 gc/mach_dep.c  #	  define HAVE_PUSH_REGS
HAVE_PUSH_REGS    295 gc/mach_dep.c  #	  define HAVE_PUSH_REGS
HAVE_PUSH_REGS    307 gc/mach_dep.c  #	  define HAVE_PUSH_REGS
HAVE_PUSH_REGS    316 gc/mach_dep.c  #	  define HAVE_PUSH_REGS
HAVE_PUSH_REGS    321 gc/mach_dep.c  #	  define HAVE_PUSH_REGS
HAVE_PUSH_REGS    337 gc/mach_dep.c  #	    define HAVE_PUSH_REGS
HAVE_PUSH_REGS    361 gc/mach_dep.c  #	  define HAVE_PUSH_REGS
HAVE_PUSH_REGS    379 gc/mach_dep.c  #	  define HAVE_PUSH_REGS
HAVE_PUSH_REGS    389 gc/mach_dep.c  #	    define HAVE_PUSH_REGS