From 5115ddd6e6715f588c37ee7a2ead4261088434a8 Mon Sep 17 00:00:00 2001 From: Daan Date: Fri, 6 Jun 2025 15:29:59 -0700 Subject: [PATCH] fix windows 32-bit compilation --- src/page-map.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/page-map.c b/src/page-map.c index 7ccb11fa..3ff6154c 100644 --- a/src/page-map.c +++ b/src/page-map.c @@ -78,10 +78,11 @@ bool _mi_page_map_init(void) { return true; } -void _mi_page_map_unsafe_destroy(void) { +void _mi_page_map_unsafe_destroy(mi_subproc_t* subproc) { + mi_assert_internal(subproc != NULL); mi_assert_internal(_mi_page_map != NULL); if (_mi_page_map == NULL) return; - _mi_os_free(mi_page_map_memid.mem.os.base, mi_page_map_memid.mem.os.size, mi_page_map_memid); + _mi_os_free_ex(mi_page_map_memid.mem.os.base, mi_page_map_memid.mem.os.size, true, mi_page_map_memid, subproc); _mi_page_map = NULL; mi_page_map_commit = NULL; mi_page_map_max_address = NULL;