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