tag	line	file	source code
fsin	722	drivers/FPU-emu/fpu_trig.c	fsin();
fsin	1735	drivers/FPU-emu/fpu_trig.c	fprem, fyl2xp1, fsqrt_, fsincos, frndint_, fscale, fsin, fcos