tag	line	file	source code
poly_div2	88	kernel/FPU-emu/fpu_emu.h	extern void poly_div2(long long *x);
poly_div2	158	kernel/FPU-emu/poly_l2.c	poly_div2((long long *)&accum.sigl);
poly_div2	179	kernel/FPU-emu/poly_l2.c	poly_div2((long long *)&accum.sigl);
poly_div2	198	kernel/FPU-emu/poly_l2.c	poly_div2((long long *)&accum.sigl);
poly_div2	202	kernel/FPU-emu/poly_l2.c	poly_div2((long long *)&accum.sigl);