tag	line	file	source code
do_int	322	arch/i386/kernel/vm86.c	do_int(regs, 1, (unsigned char *) (regs->ss << 4), SP(regs));
do_int	380	arch/i386/kernel/vm86.c	do_int(regs, popb(csp, ip), ssp, sp);