tag	line	file	source code
pushw	308	arch/i386/kernel/vm86.c	pushw(ssp, sp, get_vflags(regs));
pushw	309	arch/i386/kernel/vm86.c	pushw(ssp, sp, regs->cs);
pushw	310	arch/i386/kernel/vm86.c	pushw(ssp, sp, IP(regs));
pushw	375	arch/i386/kernel/vm86.c	pushw(ssp, sp, get_vflags(regs));