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);