tag	line	file	source code
byte1	39	kernel/FPU-emu/errors.c	unsigned char byte1, FPU_modrm;
byte1	42	kernel/FPU-emu/errors.c	byte1 = get_fs_byte((unsigned char *) FPU_ORIG_EIP);
byte1	46	kernel/FPU-emu/errors.c	FPU_ORIG_EIP, byte1);
byte1	66	kernel/FPU-emu/errors.c	unsigned char byte1, FPU_modrm;
byte1	69	kernel/FPU-emu/errors.c	byte1 = get_fs_byte((unsigned char *) FPU_ORIG_EIP);
byte1	91	kernel/FPU-emu/errors.c	printk("At %p: %02x ", FPU_ORIG_EIP, byte1);