Name

mempool_destroy — deallocate a memory pool