tag	line	file	source code
get_vflags	317	arch/i386/kernel/vm86.c	pushw(ssp, sp, get_vflags(regs));
get_vflags	364	arch/i386/kernel/vm86.c	pushl(ssp, sp, get_vflags(regs));
get_vflags	387	arch/i386/kernel/vm86.c	pushw(ssp, sp, get_vflags(regs));