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