From 7236b52536dbdf823a94fef2a07536f548ddcc21 Mon Sep 17 00:00:00 2001
From: cherierm <cherierm@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Tue, 23 Oct 2007 09:38:51 +0000
Subject: [PATCH] This implement the function gettimeofday() for win32 (Visual
 C++ does not provides this function)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@4849 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 src/xbt/xbt_os_time.c | 44 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)

diff --git a/src/xbt/xbt_os_time.c b/src/xbt/xbt_os_time.c
index b93b0f1e29..bcdf8adfff 100644
--- a/src/xbt/xbt_os_time.c
+++ b/src/xbt/xbt_os_time.c
@@ -15,6 +15,50 @@
 #include "portable.h"
 #include <math.h> /* floor */
 
+
+#ifdef WIN32
+#include <sys\timeb.h>
+#include <errno.h>
+
+int 
+gettimeofday(struct timeval *tv, struct timezone *tz)
+{
+	
+	#if defined(WIN32_WCE) || (_WIN32_WINNT < 0x0400)
+	struct _timeb tm;
+	#else
+	FILETIME  ft;
+	unsigned __int64 tm;
+	#endif
+	
+	if (!tv) 
+	{
+		errno = EINVAL;
+		return -1;
+	}
+	
+	#if defined(WIN32_WCE) || (_WIN32_WINNT < 0x0400)
+	_ftime (&tm);
+	
+    tv->tv_sec = tm.time;
+    tv->tv_usec = tm.millitm * 1000;
+	#else
+	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
+	
+	
+	
+	return 0;
+}
+#endif
+
 double xbt_os_time(void) {
 #ifdef HAVE_GETTIMEOFDAY
   struct timeval tv;
-- 
2.20.1