- 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? */
+ 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);