tag	line	file	source code
poly_div16	91	kernel/FPU-emu/fpu_emu.h	extern void poly_div16(long long *x);
poly_div16	89	kernel/FPU-emu/poly_l2.c	poly_div16(&Xsq);
poly_div16	266	kernel/FPU-emu/poly_l2.c	poly_div16(&Xsq);