linux_dma_pool_destroy
void linux_dma_pool_destroy(struct dma_pool *pool);
linux_dma_pool_destroy(pool);