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