Lines Matching defs:pool
79 * - Free the pgt_infos pool.
745 static void mmu_dma_mem_free_from_chunk(struct gen_pool *pool,
769 * - free pool chunks
770 * - free pool
776 struct gen_pool **pool = &hr_priv->mmu_pgt_pool;
780 if (ZERO_OR_NULL_PTR(*pool))
790 gen_pool_free(*pool, (uintptr_t) hop0_pgt->virt_addr, hop_table_size);
794 gen_pool_for_each_chunk(*pool, mmu_dma_mem_free_from_chunk, hdev);
795 gen_pool_destroy(*pool);
801 *pool = NULL;
814 * - Create a pool of pages for pgt_infos.
835 dev_err(hdev->dev, "Failed to create hr page pool\n");
852 "Failed to allocate memory for host-resident page pool\n");
860 dev_err(hdev->dev, "Failed to fill host-resident page pool\n");
873 dev_err(hdev->dev, "Failed to allocate HOP from pgt pool\n");
899 * - Free the pgt_infos pool.
1079 /* No memory in pool - get some and try again */