pushl             194 arch/x86/include/asm/irqflags.h 	pushl %eax;				\
pushl             195 arch/x86/include/asm/irqflags.h 	pushl %ecx;				\
pushl             196 arch/x86/include/asm/irqflags.h 	pushl %edx;				\
pushl             633 arch/x86/kernel/vm86_32.c 			pushl(ssp, sp, get_vflags(regs), simulate_sigsegv);