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