- }
-
- /* Create the first region HEAP_OFFSET bytes after the heap break address */
- std_heap = mmalloc_get_default_md();
- xbt_assert(std_heap != NULL);
-
- /* Create the second region a page after the first one ends + safety gap */
- mc_heap =
- xbt_mheap_new_options(-1,
- (char *) (std_heap) + STD_HEAP_SIZE + xbt_pagesize,
- 0);
- xbt_assert(mc_heap != NULL);
-}
-
-/* Finalize the memory subsystem */
-#include "xbt_modinter.h"
-void MC_memory_exit(void)
-{
- if (mc_heap && mc_heap != std_heap)
- xbt_mheap_destroy(mc_heap);