Windows port: Return the effective system pagesize in getpagesize()

diff --git a/lib/win32lib.c b/lib/win32lib.c
old mode 100644 (file)
new mode 100755 (executable)
index 34df133..58b130d
--- a/lib/win32lib.c
+++ b/lib/win32lib.c
@@ -63,7 +63,13 @@ void GetProcessName(pid_t, char *);
 size_t 
 getpagesize()
 {
-    return 4096;
+    static DWORD system_pagesize = 0;
+    if (!system_pagesize) {
+       SYSTEM_INFO system_info;
+       GetSystemInfo(&system_info);
+       system_pagesize = system_info.dwPageSize;
+    }
+    return system_pagesize;
 }
 #endif