ttm_dma_free_pool  546 drivers/gpu/drm/ttm/ttm_page_alloc_dma.c 		ttm_dma_free_pool(dev, pool->type);
ttm_dma_free_pool 1209 drivers/gpu/drm/ttm/ttm_page_alloc_dma.c 		ttm_dma_free_pool(p->dev, p->pool->type);