taglinefilesource code
do_int308kernel/vm86.cdo_int(regs, 1, (unsigned char *) (regs->ss << 4), SP(regs));
do_int366kernel/vm86.cdo_int(regs, 3, ssp, sp);
do_int372kernel/vm86.cdo_int(regs, popb(csp, ip), ssp, sp);