taglinefilesource code
csp320arch/i386/kernel/vm86.cunsigned char *csp, *ssp;
csp323arch/i386/kernel/vm86.ccsp = (unsigned char *) (regs->cs << 4);
csp328arch/i386/kernel/vm86.cswitch (popb(csp, ip)) {
csp332arch/i386/kernel/vm86.cswitch (popb(csp, ip)) {
csp372arch/i386/kernel/vm86.cdo_int(regs, popb(csp, ip), ssp, sp);