ReadD            2519 src/mips/simulator-mips.cc       fp_out = ReadD(addr, instr);
ReadD             268 src/mips/simulator-mips.h   inline double ReadD(int32_t addr, Instruction* instr);