taglinefilesource code
do_int314arch/i386/kernel/vm86.cdo_int(regs, 1, (unsigned char *) (regs->ss << 4), SP(regs));
do_int372arch/i386/kernel/vm86.cdo_int(regs, popb(csp, ip), ssp, sp);