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