Merge remote-tracking branch 'origin/develop'

Author: rv-auditor

include/runtime/collect.h

@@ -40,6 +40,7 @@ void migrate_collection_node(void **node_ptr);
 void set_kore_memory_functions_for_gmp(void);
 void kore_collect(void **, uint8_t, layoutitem *, bool force = false);
 void free_all_kore_mem();
+void reset_munmap_all_arenas();
 }
 
 #ifdef GC_DBG

runtime/collect/collect.cpp

@@ -346,6 +346,9 @@ void kore_collect(
 void free_all_kore_mem() {
   kore_collect(nullptr, 0, nullptr, true);
   kore_clear();
+}
+
+void reset_munmap_all_arenas() {
   youngspace.munmap_arena_and_reset();
   oldspace.munmap_arena_and_reset();
   alwaysgcspace.munmap_arena_and_reset();