| Index: src/platform.h
|
| diff --git a/src/platform.h b/src/platform.h
|
| index eb67e7e84dfba2827eb3db0f5b65f8304e6c70ae..3576d8348416056ed229e25c2d4f5c37315799a8 100644
|
| --- a/src/platform.h
|
| +++ b/src/platform.h
|
| @@ -192,6 +192,10 @@ class OS {
|
| // micro-second resolution.
|
| static int GetUserTime(uint32_t* secs, uint32_t* usecs);
|
|
|
| + // Get a tick counter normalized to one tick per microsecond.
|
| + // Used for calculating time intervals.
|
| + static int64_t Ticks();
|
| +
|
| // Returns current time as the number of milliseconds since
|
| // 00:00:00 UTC, January 1, 1970.
|
| static double TimeCurrentMillis();
|
|
|