tag	line	file	source code
fmulp_	42	kernel/FPU-emu/fpu_entry.c	fmul__,   fxch_i,  __BAD__, __BAD__, fmul_i,  __BAD__, fmulp_,  __BAD__,
fmulp_	26	kernel/FPU-emu/fpu_proto.h	extern void fmulp_(void);