tag	line	file	source code
poly_2xm1	78	drivers/FPU-emu/fpu_proto.h	extern int poly_2xm1(FPU_REG const *arg, FPU_REG *result);
poly_2xm1	248	drivers/FPU-emu/fpu_trig.c	poly_2xm1(st0_ptr, &rv);
poly_2xm1	257	drivers/FPU-emu/fpu_trig.c	poly_2xm1(st0_ptr, &rv);