tag	line	file	source code
get_vflags	294	kernel/vm86.c	pushw(ssp, sp, get_vflags(regs));
get_vflags	338	kernel/vm86.c	pushl(ssp, sp, get_vflags(regs));
get_vflags	353	kernel/vm86.c	pushw(ssp, sp, get_vflags(regs));