From: Augustin Degomme <degomme@idpann.imag.fr>
Date: Fri, 4 Apr 2014 12:17:46 +0000 (+0200)
Subject: get page size info on win32
X-Git-Tag: v3_11~164
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/84ca8460abab1a152cade7e1ca0585097f57f09b

get page size info on win32
---

diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c
index 30c1a8427a..3af5c0371d 100644
--- a/src/xbt/xbt_main.c
+++ b/src/xbt/xbt_main.c
@@ -85,9 +85,13 @@ BOOL WINAPI DllMain(HINSTANCE hinstDLL, DWORD fdwReason,
 
 static void xbt_preinit(void) {
   unsigned int seed = 2147483647;
-
+#ifndef WIN32
   xbt_pagesize = sysconf(_SC_PAGESIZE);
-
+#else
+  SYSTEM_INFO si;
+  GetSystemInfo(&si);
+  xbt_pagesize = si.dwPageSize;
+#endif
 #ifdef MMALLOC_WANT_OVERRIDE_LEGACY
   mmalloc_preinit();
 #endif