tag	line	file	source code
fprem_kernel	754	kernel/FPU-emu/fpu_trig.c	fprem_kernel(RC_CHOP);
fprem_kernel	760	kernel/FPU-emu/fpu_trig.c	fprem_kernel(RC_RND);