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