tag	line	file	source code
do_fprem	1315	drivers/FPU-emu/fpu_trig.c	do_fprem(RC_CHOP);
do_fprem	1321	drivers/FPU-emu/fpu_trig.c	do_fprem(RC_RND);