model-checker : remove arg std_heap_addr in mmalloc_compare_heap and mmalloc_compare_...

[simgrid.git] / include / xbt / mmalloc.h

diff --git a/include/xbt/mmalloc.h b/include/xbt/mmalloc.h
index f6ca905..d6bc9d9 100644 (file)
--- a/include/xbt/mmalloc.h
+++ b/include/xbt/mmalloc.h
@@ -34,9 +34,6 @@ extern void *mmalloc(xbt_mheap_t md, size_t size);
    SIZE bytes long.  */
 extern void *mrealloc(xbt_mheap_t md, void *ptr, size_t size);
 
-/* Allocate NMEMB elements of SIZE bytes each, all initialized to 0.  */
-extern void *mcalloc(xbt_mheap_t md, size_t nmemb, size_t size);
-
 /* Free a block allocated by `mmalloc', `mrealloc' or `mcalloc'.  */
 extern void mfree(xbt_mheap_t md, void *ptr);
 
@@ -46,11 +43,11 @@ extern void *mmemalign(xbt_mheap_t md, size_t alignment, size_t size);
 /* Allocate SIZE bytes on a page boundary.  */
 extern void *mvalloc(xbt_mheap_t md, size_t size);
 
-extern xbt_mheap_t mmalloc_attach(int fd, void *baseaddr);
+extern xbt_mheap_t xbt_mheap_new(int fd, void *baseaddr);
 
-extern void mmalloc_detach_no_free(xbt_mheap_t md);
+extern void xbt_mheap_destroy_no_free(xbt_mheap_t md);
 
-extern void *mmalloc_detach(xbt_mheap_t md);
+extern void *xbt_mheap_destroy(xbt_mheap_t md);
 
 /* return the heap used when NULL is passed as first argument to any mm* function */
 extern xbt_mheap_t mmalloc_get_default_md(void);
@@ -61,7 +58,11 @@ extern void mmalloc_display_info_heap(xbt_mheap_t h);
 void mmalloc_set_current_heap(xbt_mheap_t new_heap);
 xbt_mheap_t mmalloc_get_current_heap(void);
 
-int mmalloc_compare_heap(xbt_mheap_t mdp1, xbt_mheap_t mdp2, void *std_heap_addr);
+int mmalloc_compare_heap(xbt_mheap_t mdp1, xbt_mheap_t mdp2);
+
+void mmalloc_backtrace_display(xbt_mheap_t mdp, void *addr);
+
+void mmalloc_backtrace_block_display(xbt_mheap_t mdp, size_t block);
 
 
 #endif                          /* MMALLOC_H */