set_vflags_short  640 arch/x86/kernel/vm86_32.c 			set_vflags_short(newflags, regs);
set_vflags_short  680 arch/x86/kernel/vm86_32.c 			set_vflags_short(newflags, regs);