tag	line	file	source code
fp_etc	62	kernel/FPU-emu/fpu_entry.c	fsub__,   fp_etc,  __BAD__, finit_,  fsubri,  fucom_,  fsubrp,  fstsw_,
fp_etc	75	kernel/FPU-emu/fpu_entry.c	fsub__,   fp_etc,  __BAD__, finit_,  fsubri,  fucom_,  fsubrp,  fstsw_,
fp_etc	45	kernel/FPU-emu/fpu_proto.h	extern void fp_etc(void);