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

Type Parameter Key Value
PARAM_VALUE 0 restore 4096-ptr_max
PARAM_VALUE 0 restore->alloced_page 1-u64max
PARAM_VALUE 0 restore->order 0-10
PARAM_VALUE 0 restore->pool 4096-ptr_max
PARAM_VALUE 0 restore->restored_pages 0
PARAM_VALUE 2 ctx 4096-ptr_max
PARAM_VALUE 3 alloc 4878770031710056448,7392465134785949696
PARAM_VALUE 3 alloc->pages 4097-u64max
BUF_SIZE 0 restore (-1),88
BUF_SIZE 0 restore (-1),88
BUF_SIZE 2 ctx (-1),24
BUF_SIZE 2 ctx (-1),24
DATA_SOURCE 0 restore $4
DATA_SOURCE 2 ctx $2
DATA_SOURCE 3 alloc $3
NOSPEC 0 restore->alloced_page->private
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 restore->alloced_page->private 0-10[c]
USER_DATA 0 restore->order 0-10[c]
USER_DATA 0 restore->snapshot_alloc.remaining_pages 0-u32max[c]
USER_DATA 2 ctx->allow_res_evict 0-1
USER_DATA 3 alloc->remaining_pages 1-u32max[c]
NO_OVERFLOW_SIMPLE 0 restore->snapshot_alloc.remaining_pages
NO_OVERFLOW_SIMPLE 2 ctx->bytes_moved
NO_OVERFLOW_SIMPLE 3 alloc->remaining_pages

drivers/gpu/drm/ttm/ttm_pool.c ttm_pool_restore_and_alloc() -> ttm_pool_restore_commit()

Type Parameter Key Value
PARAM_VALUE 0 restore 4096-ptr_max
PARAM_VALUE 0 restore->alloced_page 0-9223372036854775807
PARAM_VALUE 0 restore->alloced_pages 0-9223372036854775807
PARAM_VALUE 0 restore->first_dma 0-9223372036854775807
PARAM_VALUE 0 restore->restored_pages 0-18446744073709551614
PARAM_VALUE 3 alloc 4878770031710056448
BUF_SIZE 2 ctx (-1),24
BUF_SIZE 2 ctx (-1),24
CAPPED_DATA 0 restore->restored_pages 1
DATA_SOURCE 2 ctx $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 ctx->allow_res_evict 0-1
NO_OVERFLOW_SIMPLE 2 ctx->bytes_moved