merge from master

2019-12-24 10:44:49 -08:00
parent f9b942d80d e05a1edc03
commit 6f0b35d513
1 changed files with 1 additions and 3 deletions
--- a/src/os.c
+++ b/src/os.c
@@ -169,9 +169,7 @@ void _mi_os_init() {
    os_page_size = (size_t)result;
    os_alloc_granularity = os_page_size;
  }
-  if (mi_option_is_enabled(mi_option_large_os_pages)) {
-    large_os_page_size = 2*MiB;
-  }
+  large_os_page_size = 2*MiB; // TODO: can we query the OS for this?
 }
 #endif