taglinefilesource code
IP310arch/i386/kernel/vm86.cpushw(ssp, sp, IP(regs));
IP313arch/i386/kernel/vm86.cIP(regs) = get_fs_word((void *) (i<<2));
IP340arch/i386/kernel/vm86.cip = IP(regs);
IP351arch/i386/kernel/vm86.cIP(regs) += 2;
IP358arch/i386/kernel/vm86.cIP(regs) += 2;
IP366arch/i386/kernel/vm86.cIP(regs)++;
IP373arch/i386/kernel/vm86.cIP(regs)++;
IP379arch/i386/kernel/vm86.cIP(regs) += 2;
IP386arch/i386/kernel/vm86.cIP(regs) = popw(ssp, sp);
IP393arch/i386/kernel/vm86.cIP(regs)++;
IP405arch/i386/kernel/vm86.cIP(regs)++;