tag	line	file	source code
get_seg_byte	112	kernel/traps.c	printk("%02x ",0xff & get_seg_byte(regs->cs,(i+(char *)regs->eip)));
get_seg_byte	140	kernel/traps.c	switch (get_seg_byte(regs->cs, (char *)regs->eip)) {