taglinefilesource code
get_vflags300arch/i386/kernel/vm86.cpushw(ssp, sp, get_vflags(regs));
get_vflags344arch/i386/kernel/vm86.cpushl(ssp, sp, get_vflags(regs));
get_vflags359arch/i386/kernel/vm86.cpushw(ssp, sp, get_vflags(regs));