+#define TIME_UPDATE_INTERVAL 25
+
+/* True on systems that support a monotonic clock. Compared to just getting
+ * the value of a variable, clock_gettime() is somewhat expensive, even on
+ * systems that try hard to optimize it (such as x86-64 Linux), so it's
+ * worthwhile to minimize calls via caching. */
+#ifndef CACHE_TIME
+#if defined ESX
+#define CACHE_TIME 0
+#else
+#define CACHE_TIME 1
+#endif
+#endif /* ifndef CACHE_TIME */