tag	line	file	source code
fdivri	63	drivers/FPU-emu/fpu_entry.c	fdiv__,   trig_a,  __BAD__, __BAD__, fdivri,  __BAD__, fdivrp,  __BAD__,
fdivri	76	drivers/FPU-emu/fpu_entry.c	fdiv__,   trig_a,  __BAD__, __BAD__, fdivri,  __BAD__, fdivrp,  __BAD__,
fdivri	31	drivers/FPU-emu/fpu_proto.h	extern void fdivri(void);