CLEANUP: memory: Remove unused function pool_destroy
This one was never used.
diff --git a/include/common/memory.h b/include/common/memory.h
index d52fb62..f2d6978 100644
--- a/include/common/memory.h
+++ b/include/common/memory.h
@@ -61,21 +61,6 @@
/* poison each newly allocated area with this byte if >= 0 */
extern int mem_poison_byte;
-/*
- * This function destroys a pull by freeing it completely.
- * This should be called only under extreme circumstances.
- */
-static inline void pool_destroy(void **pool)
-{
- void *temp, *next;
- next = pool;
- while (next) {
- temp = next;
- next = *(void **)temp;
- free(temp);
- }
-}
-
/* Allocates new entries for pool <pool> until there are at least <avail> + 1
* available, then returns the last one for immediate use, so that at least
* <avail> are left available in the pool upon return. NULL is returned if the