fix large OS page size on Linux (issue #184, due to fix for #179)

This commit is contained in:
daan 2019-12-24 10:32:44 -08:00
parent e31e609414
commit e05a1edc03

View file

@ -171,9 +171,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 = (1UL << 21); // 2MiB
}
large_os_page_size = 2*MiB; // TODO: can we query the OS for this?
}
#endif