tag	line	file	source code
fadd_i	57	drivers/FPU-emu/fpu_entry.c	fadd__,   fld_i_,  __BAD__, __BAD__, fadd_i,  ffree_,  faddp_,  _df_c0_,
fadd_i	70	drivers/FPU-emu/fpu_entry.c	fadd__,   fld_i_,  __BAD__, __BAD__, fadd_i,  ffree_,  faddp_,  __BAD__,
fadd_i	27	drivers/FPU-emu/fpu_proto.h	extern void fadd_i(void);