set_fpu_register 2075 src/mips/simulator-mips.cc                 set_fpu_register(fd_reg, result);
set_fpu_register 2077 src/mips/simulator-mips.cc                   set_fpu_register(fd_reg, kFPUInvalidResult);
set_fpu_register 2085 src/mips/simulator-mips.cc                 set_fpu_register(fd_reg, result);
set_fpu_register 2087 src/mips/simulator-mips.cc                   set_fpu_register(fd_reg, kFPUInvalidResult);
set_fpu_register 2095 src/mips/simulator-mips.cc                 set_fpu_register(fd_reg, result);
set_fpu_register 2097 src/mips/simulator-mips.cc                   set_fpu_register(fd_reg, kFPUInvalidResult);
set_fpu_register 2105 src/mips/simulator-mips.cc                 set_fpu_register(fd_reg, result);
set_fpu_register 2107 src/mips/simulator-mips.cc                   set_fpu_register(fd_reg, kFPUInvalidResult);
set_fpu_register 2117 src/mips/simulator-mips.cc               set_fpu_register(fd_reg, i64 & 0xffffffff);
set_fpu_register 2118 src/mips/simulator-mips.cc               set_fpu_register(fd_reg + 1, i64 >> 32);
set_fpu_register 2124 src/mips/simulator-mips.cc               set_fpu_register(fd_reg, i64 & 0xffffffff);
set_fpu_register 2125 src/mips/simulator-mips.cc               set_fpu_register(fd_reg + 1, i64 >> 32);
set_fpu_register 2131 src/mips/simulator-mips.cc               set_fpu_register(fd_reg, i64 & 0xffffffff);
set_fpu_register 2132 src/mips/simulator-mips.cc               set_fpu_register(fd_reg + 1, i64 >> 32);
set_fpu_register 2137 src/mips/simulator-mips.cc               set_fpu_register(fd_reg, i64 & 0xffffffff);
set_fpu_register 2138 src/mips/simulator-mips.cc               set_fpu_register(fd_reg + 1, i64 >> 32);
set_fpu_register 2142 src/mips/simulator-mips.cc               set_fpu_register(fd_reg, i64 & 0xffffffff);
set_fpu_register 2143 src/mips/simulator-mips.cc               set_fpu_register(fd_reg + 1, i64 >> 32);
set_fpu_register 2588 src/mips/simulator-mips.cc       set_fpu_register(ft_reg, alu_out);
set_fpu_register  189 src/mips/simulator-mips.h   void set_fpu_register(int fpureg, int32_t value);