tag	line	file	source code
poly_2xm1	71	drivers/FPU-emu/fpu_proto.h	extern int poly_2xm1(FPU_REG const *arg, FPU_REG *result);
poly_2xm1	224	drivers/FPU-emu/fpu_trig.c	poly_2xm1(FPU_st0_ptr, &rv);
poly_2xm1	233	drivers/FPU-emu/fpu_trig.c	poly_2xm1(FPU_st0_ptr, &rv);