tag	line	file	source code
EXTENDED_Emin	419	kernel/FPU-emu/reg_ld_str.c	tmp.exp += -EXTENDED_Emin + 64;  /* largest exp to be 63 */
EXTENDED_Emin	1231	kernel/FPU-emu/reg_ld_str.c	tmp.exp += -EXTENDED_Emin + 64;  /* largest exp to be 63 */