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