| 90 | namespace { |
| 91 | |
| 92 | double |
| 93 | gettimeofday_double() |
| 94 | { |
| 95 | struct timeval tv; |
| 96 | if (gettimeofday(&tv, 0) != 0) { |
| 97 | fatal_abort("gettimeofday"); |
| 98 | } |
| 99 | return static_cast<double>(tv.tv_usec) / 1000000 + tv.tv_sec; |
| 100 | } |
| 101 | |
| 102 | // unused |
| 103 | void |