return -1;
}
-/* return a broken out time, with microseconds */
+/* return a broken out time, with microseconds
+ * Must be mutex-protected.
+ */
#ifdef _WIN32
/* Windows SYSTEMTIME only has 10 millisecond resolution, so we
* also need to use a high resolution timer to get microseconds.