tag	line	file	source code
fldenv	119	kernel/FPU-emu/fpu_proto.h	extern char *fldenv(void);
fldenv	137	kernel/FPU-emu/load_store.c	fldenv();
fldenv	1249	kernel/FPU-emu/reg_ld_str.c	char *s = (char *)fldenv();