tag	line	file	source code
FPU_loaded_data	201	drivers/FPU-emu/errors.c	FPU_loaded_data.sign ? '-' : '+',
FPU_loaded_data	202	drivers/FPU-emu/errors.c	(long)(FPU_loaded_data.sigh >> 16),
FPU_loaded_data	203	drivers/FPU-emu/errors.c	(long)(FPU_loaded_data.sigh & 0xFFFF),
FPU_loaded_data	204	drivers/FPU-emu/errors.c	(long)(FPU_loaded_data.sigl >> 16),
FPU_loaded_data	205	drivers/FPU-emu/errors.c	(long)(FPU_loaded_data.sigl & 0xFFFF),
FPU_loaded_data	206	drivers/FPU-emu/errors.c	FPU_loaded_data.exp - EXP_BIAS + 1);
FPU_loaded_data	207	drivers/FPU-emu/errors.c	printk("%s\n", tag_desc[(int) (unsigned) FPU_loaded_data.tag]);