Open Menu /

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_page_allocated()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 1 order 0-10
PARAM_VALUE 2 p 1-u64max
PARAM_VALUE 4 alloc 4878770031710056448,7392465134785949696
PARAM_VALUE 4 alloc->remaining_pages 1-u64max
PARAM_VALUE 5 restore 0,4096-ptr_max
BUF_SIZE 0 pool (-1),5296
BUF_SIZE 0 pool (-1),5296
BUF_SIZE 5 restore (-1),88
BUF_SIZE 5 restore (-1),88
CAPPED_DATA 1 order 1
DATA_SOURCE 0 pool $0
DATA_SOURCE 4 alloc $3
DATA_SOURCE 5 restore $4
NOSPEC 2 p->private
NOSPEC 5 restore->alloced_page->private
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 order 0-10[c]
USER_DATA 2 p->private 0-10[c]
USER_DATA 4 alloc->remaining_pages 1-u32max[c]
USER_DATA 5 restore->alloced_page->private 0-10[c]
USER_DATA 5 restore->order 0-10[c]
USER_DATA 5 restore->snapshot_alloc.remaining_pages 0-u32max[c]
NO_OVERFLOW_SIMPLE 4 alloc->remaining_pages
NO_OVERFLOW_SIMPLE 5 restore->snapshot_alloc.remaining_pages