taglinefilesource code
csp334arch/i386/kernel/vm86.cunsigned char *csp, *ssp;
csp337arch/i386/kernel/vm86.ccsp = (unsigned char *) (regs->cs << 4);
csp342arch/i386/kernel/vm86.cswitch (popb(csp, ip)) {
csp346arch/i386/kernel/vm86.cswitch (popb(csp, ip)) {
csp380arch/i386/kernel/vm86.cdo_int(regs, popb(csp, ip), ssp, sp);