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

Type Parameter Key Value
PARAM_VALUE 0 restore 0,4096-ptr_max
PARAM_VALUE 0 restore->order 0-10
PARAM_VALUE 0 restore->restored_pages 0
BUF_SIZE 0 restore (-1),88
BUF_SIZE 0 restore (-1),88
DATA_SOURCE 0 restore $4
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]
NO_OVERFLOW_SIMPLE 0 restore->snapshot_alloc.remaining_pages

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 restore 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING