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