summaryrefslogtreecommitdiff
path: root/storage/innobase/include/mem0pool.h
diff options
context:
space:
mode:
Diffstat (limited to 'storage/innobase/include/mem0pool.h')
-rw-r--r--storage/innobase/include/mem0pool.h7
1 files changed, 7 insertions, 0 deletions
diff --git a/storage/innobase/include/mem0pool.h b/storage/innobase/include/mem0pool.h
index 18f988241d6..5e93bf88a47 100644
--- a/storage/innobase/include/mem0pool.h
+++ b/storage/innobase/include/mem0pool.h
@@ -62,6 +62,13 @@ mem_pool_create(
/*============*/
ulint size); /*!< in: pool size in bytes */
/********************************************************************//**
+Frees a memory pool. */
+UNIV_INTERN
+void
+mem_pool_free(
+/*==========*/
+ mem_pool_t* pool); /*!< in, own: memory pool */
+/********************************************************************//**
Allocates memory from a pool. NOTE: This low-level function should only be
used in mem0mem.*!
@return own: allocated memory buffer */