Index: runtime/src/kmp_os.h
===================================================================
--- runtime/src/kmp_os.h
+++ runtime/src/kmp_os.h
@@ -248,14 +248,12 @@
 #define __forceinline __inline
 #endif
 
-#define PAGE_SIZE (0x4000)
-
-#if KMP_OS_LINUX
+#if KMP_OS_UNIX
 #define KMP_GET_PAGE_SIZE() getpagesize()
 #else
 // TODO: find the corresponding function to getpagesize() in Windows
 // and use it whenever possible.
-#define KMP_GET_PAGE_SIZE() PAGE_SIZE
+#define KMP_GET_PAGE_SIZE() 0x4000
 #endif
 
 #define PAGE_ALIGNED(_addr)                                                    \