Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/ttm/ttm_pool.c __ttm_pool_alloc() -> ttm_pool_free_range()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 1 tt 4096-ptr_max
PARAM_VALUE 1 tt->restore 0
PARAM_VALUE 3 start_page 0
BUF_SIZE 0 pool (-1),5296
BUF_SIZE 0 pool (-1),5296
BUF_SIZE 1 tt (-1),64
BUF_SIZE 1 tt (-1),64
CAPPED_DATA 0 pool->dev->cma_area->nranges 1
DATA_SOURCE 0 pool $0
DATA_SOURCE 1 tt $1
BIT_INFO 1 tt->page_flags 0x0,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 tt->num_pages 0-u32max[c]
NO_OVERFLOW_SIMPLE 1 tt->dma_ttm.sg->orig_nents
NO_OVERFLOW_SIMPLE 1 tt->num_pages
NO_OVERFLOW_SIMPLE 1 tt->restore->snapshot_alloc.remaining_pages
NO_OVERFLOW_SIMPLE 1 tt->sg->orig_nents
NO_OVERFLOW_SIMPLE 1 tt->ttm.sg->orig_nents

drivers/gpu/drm/ttm/ttm_pool.c __ttm_pool_alloc() -> ttm_pool_free_range()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 1 tt 4096-ptr_max
PARAM_VALUE 1 tt->restore 0
PARAM_VALUE 2 caching 2
BUF_SIZE 0 pool (-1),5296
BUF_SIZE 0 pool (-1),5296
BUF_SIZE 1 tt (-1),64
BUF_SIZE 1 tt (-1),64
CAPPED_DATA 0 pool->dev->cma_area->nranges 1
CAPPED_DATA 3 start_page 1
CAPPED_DATA 3 start_page 1
DATA_SOURCE 0 pool $0
DATA_SOURCE 1 tt $1
BIT_INFO 1 tt->page_flags 0x0,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 tt->num_pages 0-u32max[c]
USER_DATA 4 end_page 0-u32max,18446744069414584321-u64max
NO_OVERFLOW_SIMPLE 1 tt->dma_ttm.sg->orig_nents
NO_OVERFLOW_SIMPLE 1 tt->num_pages
NO_OVERFLOW_SIMPLE 1 tt->restore->snapshot_alloc.remaining_pages
NO_OVERFLOW_SIMPLE 1 tt->sg->orig_nents
NO_OVERFLOW_SIMPLE 1 tt->ttm.sg->orig_nents

drivers/gpu/drm/ttm/ttm_pool.c ttm_pool_drop_backed_up() -> ttm_pool_free_range()

Type Parameter Key Value
PARAM_VALUE 1 tt 4096-ptr_max
PARAM_VALUE 1 tt->restore 4096-ptr_max
PARAM_VALUE 1 tt->swap_storage 0
PARAM_VALUE 3 start_page 0
BUF_SIZE 1 tt (-1),64
BUF_SIZE 1 tt (-1),64
BUF_SIZE 1 tt->sg (-1),16,56,376,592
DATA_SOURCE 1 tt $0
NOSPEC 1 tt->num_pages
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 tt->num_pages 0-u32max[c]
USER_DATA 1 tt->sg->nents 2-s32max[c]
NO_OVERFLOW_SIMPLE 1 tt->cached_rsgt.size
NO_OVERFLOW_SIMPLE 1 tt->dma_ttm.sg->orig_nents
NO_OVERFLOW_SIMPLE 1 tt->gobj->size
NO_OVERFLOW_SIMPLE 1 tt->num_pages
NO_OVERFLOW_SIMPLE 1 tt->sg->orig_nents
NO_OVERFLOW_SIMPLE 1 tt->ttm.num_pages
NO_OVERFLOW_SIMPLE 1 tt->ttm.sg->orig_nents

drivers/gpu/drm/ttm/ttm_pool.c ttm_pool_drop_backed_up() -> ttm_pool_free_range()

Type Parameter Key Value
PARAM_VALUE 1 tt 4096-ptr_max
PARAM_VALUE 1 tt->restore 4096-ptr_max
PARAM_VALUE 1 tt->swap_storage 0
PARAM_VALUE 2 caching 2
BUF_SIZE 1 tt (-1),64
BUF_SIZE 1 tt (-1),64
BUF_SIZE 1 tt->sg (-1),16,56,376,592
CAPPED_DATA 3 start_page 1
CAPPED_DATA 3 start_page 1
DATA_SOURCE 1 tt $0
NOSPEC 1 tt->num_pages
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 tt->num_pages 0-u32max[c]
USER_DATA 1 tt->sg->nents 2-s32max[c]
NO_OVERFLOW_SIMPLE 1 tt->cached_rsgt.size
NO_OVERFLOW_SIMPLE 1 tt->dma_ttm.sg->orig_nents
NO_OVERFLOW_SIMPLE 1 tt->gobj->size
NO_OVERFLOW_SIMPLE 1 tt->num_pages
NO_OVERFLOW_SIMPLE 1 tt->sg->orig_nents
NO_OVERFLOW_SIMPLE 1 tt->ttm.num_pages
NO_OVERFLOW_SIMPLE 1 tt->ttm.sg->orig_nents

drivers/gpu/drm/ttm/ttm_pool.c ttm_pool_drop_backed_up() -> ttm_pool_free_range()

Type Parameter Key Value
PARAM_VALUE 0 pool 0
PARAM_VALUE 1 tt 4096-ptr_max
PARAM_VALUE 1 tt->restore 0
PARAM_VALUE 1 tt->swap_storage 0
PARAM_VALUE 2 caching 2
BUF_SIZE 1 tt (-1),64
BUF_SIZE 1 tt (-1),64
BUF_SIZE 1 tt->sg (-1),16,56,376,592
DATA_SOURCE 1 tt $0
NOSPEC 1 tt->num_pages
NOSPEC 4 end_page
NOSPEC 4 end_page
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 tt->num_pages 0-u32max[c]
USER_DATA 1 tt->sg->nents 2-s32max[c]
USER_DATA 4 end_page 0-u32max[c]
NO_OVERFLOW_SIMPLE 1 tt->cached_rsgt.size
NO_OVERFLOW_SIMPLE 1 tt->dma_ttm.sg->orig_nents
NO_OVERFLOW_SIMPLE 1 tt->gobj->size
NO_OVERFLOW_SIMPLE 1 tt->num_pages
NO_OVERFLOW_SIMPLE 1 tt->sg->orig_nents
NO_OVERFLOW_SIMPLE 1 tt->ttm.num_pages
NO_OVERFLOW_SIMPLE 1 tt->ttm.sg->orig_nents
NO_OVERFLOW_SIMPLE 4 end_page

drivers/gpu/drm/ttm/ttm_pool.c ttm_pool_free() -> ttm_pool_free_range()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 1 tt 4096-ptr_max
PARAM_VALUE 3 start_page 0
BUF_SIZE 0 pool (-1),5296
BUF_SIZE 0 pool (-1),5296
BUF_SIZE 1 tt (-1),64
BUF_SIZE 1 tt (-1),64
BUF_SIZE 1 tt->sg (-1),16
DATA_SOURCE 0 pool $0
DATA_SOURCE 1 tt $1
NOSPEC 1 tt->num_pages
NOSPEC 4 end_page
NOSPEC 4 end_page
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 tt->num_pages 0-u32max[c]
USER_DATA 1 tt->sg->nents 2-s32max[c]
USER_DATA 4 end_page 0-u32max[c]
NO_OVERFLOW_SIMPLE 1 tt->cached_rsgt.size
NO_OVERFLOW_SIMPLE 1 tt->dma_ttm.sg->orig_nents
NO_OVERFLOW_SIMPLE 1 tt->gobj->size
NO_OVERFLOW_SIMPLE 1 tt->num_pages
NO_OVERFLOW_SIMPLE 1 tt->restore->snapshot_alloc.remaining_pages
NO_OVERFLOW_SIMPLE 1 tt->sg->orig_nents
NO_OVERFLOW_SIMPLE 1 tt->ttm.num_pages
NO_OVERFLOW_SIMPLE 1 tt->ttm.sg->orig_nents
NO_OVERFLOW_SIMPLE 4 end_page