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	251	drivers/FPU-emu/fpu_trig.c	poly_2xm1(st0_ptr, st0_ptr);