set_vflags_short  658 arch/x86/kernel/vm86_32.c 			set_vflags_short(newflags, regs);
set_vflags_short  700 arch/x86/kernel/vm86_32.c 			set_vflags_short(newflags, regs);