Merge branch 'dev' into dev-slice

This commit is contained in:
Daan Leijen 2023-03-23 11:21:57 -07:00
commit b0e4309210
2 changed files with 5 additions and 2 deletions

View file

@ -21,7 +21,7 @@ static mi_os_mem_config_t mi_os_mem_config = {
0, // large page size (usually 2MiB)
4096, // allocation granularity
true, // has overcommit? (if true we use MAP_NORESERVE on mmap systems)
false // must free whole?
false // must free whole? (on mmap systems we can free anywhere in a mapped range, but on Windows we must free the entire span)
};
bool _mi_os_has_overcommit(void) {