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(); |