tag	line	file	source code
pushw	317	arch/i386/kernel/vm86.c	pushw(ssp, sp, get_vflags(regs));
pushw	318	arch/i386/kernel/vm86.c	pushw(ssp, sp, regs->cs);
pushw	319	arch/i386/kernel/vm86.c	pushw(ssp, sp, IP(regs));
pushw	387	arch/i386/kernel/vm86.c	pushw(ssp, sp, get_vflags(regs));