tag	line	file	source code
poly_div4	123	drivers/FPU-emu/fpu_emu.h	asmlinkage void poly_div4(unsigned long long *x);
poly_div4	82	drivers/FPU-emu/poly_l2.c	poly_div4(&significand(&denom));