GetVFPDoubleValue   74 src/arm/simulator-arm.cc   bool GetVFPDoubleValue(const char* desc, double* value);
GetVFPDoubleValue  348 src/arm/simulator-arm.cc             } else if (GetVFPDoubleValue(arg1, &dvalue)) {