Merge branch 'dev' into dev2

This commit is contained in:
Daan
2025-06-06 21:09:57 -07:00
7 changed files with 65 additions and 44 deletions

View File

@@ -154,6 +154,7 @@ void _mi_heap_guarded_init(mi_heap_t* heap);
// os.c
void _mi_os_init(void); // called from process init
void* _mi_os_alloc(size_t size, mi_memid_t* memid);
void* _mi_os_zalloc(size_t size, mi_memid_t* memid);
void _mi_os_free(void* p, size_t size, mi_memid_t memid);
void _mi_os_free_ex(void* p, size_t size, bool still_committed, mi_memid_t memid);