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