tag	line	file	source code
pushw	294	kernel/vm86.c	pushw(ssp, sp, get_vflags(regs));
pushw	295	kernel/vm86.c	pushw(ssp, sp, regs->cs);
pushw	296	kernel/vm86.c	pushw(ssp, sp, IP(regs));
pushw	353	kernel/vm86.c	pushw(ssp, sp, get_vflags(regs));