/* * pool_cache_destroy: * * Destroy a pool cache. */