PUSH1             357 gc/win32_threads.c #       define PUSH2(r1,r2) PUSH1(r1), PUSH1(r2)
PUSH1             360 gc/win32_threads.c           PUSH4(Edi,Esi,Ebx,Edx), PUSH2(Ecx,Eax), PUSH1(Ebp);
PUSH1             363 gc/win32_threads.c 	  PUSH4(R0,R1,R2,R3),PUSH4(R4,R5,R6,R7),PUSH4(R8,R9,R10,R11),PUSH1(R12);
PUSH1             367 gc/win32_threads.c 	  PUSH2(R12,R13), PUSH1(R14);
PUSH1             379 gc/win32_threads.c 	  PUSH4(Gpr27,Gpr28,Gpr29,Gpr30), PUSH1(Gpr31);
PUSH1             635 src/regexp.c               PUSH1(item);
PUSH1             642 src/regexp.c               PUSH1(item);
PUSH1             650 src/regexp.c               PUSH1(item);
PUSH1             658 src/regexp.c               PUSH1(item);
PUSH1             666 src/regexp.c               PUSH1(item);
PUSH1             674 src/regexp.c               PUSH1(item);
PUSH1             711 src/regexp.c               PUSH1(item);