tag	line	file	source code
get_vflags	300	arch/i386/kernel/vm86.c	pushw(ssp, sp, get_vflags(regs));
get_vflags	344	arch/i386/kernel/vm86.c	pushl(ssp, sp, get_vflags(regs));
get_vflags	359	arch/i386/kernel/vm86.c	pushw(ssp, sp, get_vflags(regs));