Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/gpu/drm/ttm/ttm_device.c ttm_device_fini() -> ttm_pool_fini()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/amd/amdgpu/amdgpu_ttm.c amdgpu_ttm_pools_fini() -> ttm_pool_fini()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &component_mutex
HALF_LOCKED2 global &xenwatch_mutex

drivers/gpu/drm/ttm/tests/ttm_pool_test.c ttm_pool_alloc_basic() -> ttm_pool_fini()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc_flags 0
PARAM_VALUE 0 pool->dev 0,(-22),(-12)
PARAM_VALUE 0 pool->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 pool->nid (-1)
BUF_SIZE 0 pool 5296
CAPPED_DATA 0 pool->dev->cma_area->nranges 1
DATA_SOURCE 0 pool r kunit_kzalloc
MEM_ZERO 0 pool
NOCHECK_CALL

drivers/gpu/drm/ttm/tests/ttm_pool_test.c ttm_pool_alloc_basic_dma_addr() -> ttm_pool_fini()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc_flags 256
PARAM_VALUE 0 pool->dev 0,(-22),(-12)
PARAM_VALUE 0 pool->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 pool->nid (-1)
BUF_SIZE 0 pool 5296
CAPPED_DATA 0 pool->dev->cma_area->nranges 1
DATA_SOURCE 0 pool r kunit_kzalloc
MEM_ZERO 0 pool
NOCHECK_CALL

drivers/gpu/drm/ttm/tests/ttm_pool_test.c ttm_pool_alloc_caching_mismatch() -> ttm_pool_fini()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc_flags 256
PARAM_VALUE 0 pool->caching 4096-ptr_max
PARAM_VALUE 0 pool->dev 0,4096-u64max
PARAM_VALUE 0 pool->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 pool->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 pool->nid (-1)
BUF_SIZE 0 pool 5296
CAPPED_DATA 0 pool->dev->cma_area->nranges 1
DATA_SOURCE 0 pool r ttm_pool_pre_populated
NOCHECK_CALL

drivers/gpu/drm/ttm/tests/ttm_pool_test.c ttm_pool_alloc_order_caching_match() -> ttm_pool_fini()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc_flags 256
PARAM_VALUE 0 pool->caching 4096-ptr_max
PARAM_VALUE 0 pool->dev 0,4096-u64max
PARAM_VALUE 0 pool->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 pool->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 pool->nid (-1)
BUF_SIZE 0 pool 5296
CAPPED_DATA 0 pool->dev->cma_area->nranges 1
DATA_SOURCE 0 pool r ttm_pool_pre_populated
NOCHECK_CALL

drivers/gpu/drm/ttm/tests/ttm_pool_test.c ttm_pool_alloc_order_mismatch() -> ttm_pool_fini()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc_flags 256
PARAM_VALUE 0 pool->caching 4096-ptr_max
PARAM_VALUE 0 pool->dev 0,4096-u64max
PARAM_VALUE 0 pool->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 pool->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 pool->nid (-1)
BUF_SIZE 0 pool 5296
CAPPED_DATA 0 pool->dev->cma_area->nranges 1
DATA_SOURCE 0 pool r ttm_pool_pre_populated
NOCHECK_CALL

drivers/gpu/drm/ttm/tests/ttm_pool_test.c ttm_pool_fini_basic() -> ttm_pool_fini()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc_flags 256
PARAM_VALUE 0 pool->caching 4096-ptr_max
PARAM_VALUE 0 pool->dev 0,4096-u64max
PARAM_VALUE 0 pool->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 pool->nid (-1)
BUF_SIZE 0 pool 5296
CAPPED_DATA 0 pool->dev->cma_area->nranges 1
DATA_SOURCE 0 pool r ttm_pool_pre_populated
NOCHECK_CALL

drivers/gpu/drm/ttm/tests/ttm_pool_test.c ttm_pool_free_dma_alloc() -> ttm_pool_fini()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc_flags 256
PARAM_VALUE 0 pool->dev 0,(-22),(-12)
PARAM_VALUE 0 pool->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 pool->nid (-1)
BUF_SIZE 0 pool 5296
CAPPED_DATA 0 pool->dev->cma_area->nranges 1
DATA_SOURCE 0 pool r kunit_kzalloc
MEM_ZERO 0 pool
NOCHECK_CALL

drivers/gpu/drm/ttm/tests/ttm_pool_test.c ttm_pool_free_no_dma_alloc() -> ttm_pool_fini()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->alloc_flags 0
PARAM_VALUE 0 pool->dev 0,(-22),(-12)
PARAM_VALUE 0 pool->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 pool->nid (-1)
BUF_SIZE 0 pool 5296
CAPPED_DATA 0 pool->dev->cma_area->nranges 1
DATA_SOURCE 0 pool r kunit_kzalloc
MEM_ZERO 0 pool
NOCHECK_CALL