WriteDW          2175 src/arm/simulator-arm.cc           WriteDW(addr, value1, value2);
WriteDW           293 src/arm/simulator-arm.h   void WriteDW(int32_t addr, int32_t value1, int32_t value2);