Name
mempool_destroy — 
  deallocate a memory pool
 
Synopsis
| void mempool_destroy ( | mempool_t * pool ); | 
 
Arguments
- pool
- 
     pointer to the memory pool which was allocated via
     - mempool_create.
 
Description
   Free all reserved elements in pool and pool itself.  This function
   only sleeps if the free_fn function sleeps.