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