PUSH2 358 gc/win32_threads.c # define PUSH4(r1,r2,r3,r4) PUSH2(r1,r2), PUSH2(r3,r4) PUSH2 360 gc/win32_threads.c PUSH4(Edi,Esi,Ebx,Edx), PUSH2(Ecx,Eax), PUSH1(Ebp); PUSH2 367 gc/win32_threads.c PUSH2(R12,R13), PUSH1(R14);