Tue May 13 16:41:49 CEST 2003 Paolo Molaro <lupus@ximian.com>

[mono.git] / mono / metadata / mempool.h

diff --git a/mono/metadata/mempool.h b/mono/metadata/mempool.h
index 5ee9a6fc57d70d948a8743972e8c62e3e5acbaf7..c05b3cd153d0ef90160e58cee6b6693ec01fae63 100644 (file)
--- a/mono/metadata/mempool.h
+++ b/mono/metadata/mempool.h
@@ -9,6 +9,12 @@ mono_mempool_new           (void);
 void
 mono_mempool_destroy       (MonoMemPool *pool);
 
+void
+mono_mempool_empty         (MonoMemPool *pool);
+
+void
+mono_mempool_stats         (MonoMemPool *pool);
+
 gpointer
 mono_mempool_alloc         (MonoMemPool *pool, 
                            guint        size);