tag	line	file	source code
tag_desc	64	drivers/FPU-emu/errors.c	static char *tag_desc[] = { "Valid", "Zero", "ERROR", "ERROR",
tag_desc	146	drivers/FPU-emu/errors.c	printk("%s\n", tag_desc[(int) (unsigned) r->tag]);
tag_desc	156	drivers/FPU-emu/errors.c	printk("%s\n", tag_desc[(int) (unsigned) FPU_loaded_data.tag]);