- return (double)(tv.tv_sec + tv.tv_usec / 1000000.0);
-#else
- /* Poor resolution */
- return (double)(time(NULL));
-#endif /* HAVE_GETTIMEOFDAY? */
+ tv.tv_sec = tm.time;
+ tv.tv_usec = tm.millitm * 1000;
+
+# else
+ FILETIME ft;
+ unsigned __int64 tm;
+
+ GetSystemTimeAsFileTime (&ft);
+ tm = (unsigned __int64)ft.dwHighDateTime << 32;
+ tm |= ft.dwLowDateTime;
+ tm /=10;
+ tm -= 11644473600000000ULL;
+
+ tv.tv_sec = (long) (tm / 1000000L);
+ tv.tv_usec = (long) (tm % 1000000L);
+# endif /* windows version checker */
+
+#else /* not windows, no gettimeofday => poor resolution */
+return (double)(time(NULL));
+#endif /* HAVE_GETTIMEOFDAY? */
+
+return (double)(tv.tv_sec + tv.tv_usec / 1000000.0);