tag	line	file	source code
set_vflags_short	360	kernel/vm86.c	set_vflags_short(popw(ssp, sp), regs);
set_vflags_short	380	kernel/vm86.c	set_vflags_short(popw(ssp, sp), regs);