taglinefilesource code
compare_u_st_st246kernel/FPU-emu/reg_compare.ccompare_u_st_st(FPU_rm);
compare_u_st_st253kernel/FPU-emu/reg_compare.ccompare_u_st_st(FPU_rm);
compare_u_st_st263kernel/FPU-emu/reg_compare.ccompare_u_st_st(1);