tag	line	file	source code
get_seg_long	134	arch/i386/kernel/traps.c	printk("%08lx ", get_seg_long(ss,stack++));
get_seg_long	142	arch/i386/kernel/traps.c	addr = get_seg_long(ss, stack++);