tag	line	file	source code
trig_b	63	drivers/FPU-emu/fpu_entry.c	fdivr_,   trig_b,  __BAD__, __BAD__, fdiv_i,  __BAD__, fdivp_,  __BAD__,
trig_b	76	drivers/FPU-emu/fpu_entry.c	fdivr_,   trig_b,  __BAD__, __BAD__, fdiv_i,  __BAD__, fdivp_,  __BAD__,
trig_b	63	drivers/FPU-emu/fpu_proto.h	extern void trig_b(void);