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