taglinefilesource code
popb354arch/i386/kernel/vm86.cswitch (popb(csp, ip)) {
popb358arch/i386/kernel/vm86.cswitch (popb(csp, ip)) {
popb400arch/i386/kernel/vm86.cdo_int(regs, popb(csp, ip), ssp, sp);