WriteD           2599 src/mips/simulator-mips.cc       WriteD(addr, get_fpu_register_double(ft_reg), instr);
WriteD            269 src/mips/simulator-mips.h   inline void WriteD(int32_t addr, double value, Instruction* instr);