tag	line	file	source code
byte1	37	kernel/FPU-emu/errors.c	unsigned char byte1, FPU_modrm;
byte1	40	kernel/FPU-emu/errors.c	byte1 = get_fs_byte((unsigned char *) FPU_ORIG_EIP);
byte1	44	kernel/FPU-emu/errors.c	FPU_ORIG_EIP, byte1);
byte1	64	kernel/FPU-emu/errors.c	unsigned char byte1, FPU_modrm;
byte1	67	kernel/FPU-emu/errors.c	byte1 = get_fs_byte((unsigned char *) FPU_ORIG_EIP);
byte1	89	kernel/FPU-emu/errors.c	printk("At %p: %02x ", FPU_ORIG_EIP, byte1);