taglinefilesource code
popb342arch/i386/kernel/vm86.cswitch (popb(csp, ip)) {
popb346arch/i386/kernel/vm86.cswitch (popb(csp, ip)) {
popb388arch/i386/kernel/vm86.cdo_int(regs, popb(csp, ip), ssp, sp);