tag	line	file	source code
get_vflags	308	arch/i386/kernel/vm86.c	pushw(ssp, sp, get_vflags(regs));
get_vflags	352	arch/i386/kernel/vm86.c	pushl(ssp, sp, get_vflags(regs));
get_vflags	367	arch/i386/kernel/vm86.c	pushw(ssp, sp, get_vflags(regs));