tag	line	file	source code
poly_div2	89	kernel/FPU-emu/fpu_emu.h	extern void poly_div2(long long *x);
poly_div2	160	kernel/FPU-emu/poly_l2.c	poly_div2((long long *)&accum.sigl);
poly_div2	181	kernel/FPU-emu/poly_l2.c	poly_div2((long long *)&accum.sigl);
poly_div2	200	kernel/FPU-emu/poly_l2.c	poly_div2((long long *)&accum.sigl);
poly_div2	204	kernel/FPU-emu/poly_l2.c	poly_div2((long long *)&accum.sigl);