Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/ttm/ttm_bo_vm.c ttm_bo_access() -> (struct ttm_device_funcs)->access_memory()

Type Parameter Key Value
PARAM_VALUE 0 bo 4096-ptr_max
PARAM_VALUE 0 bo->base.resv->lock.base.dep_map->name 0-255
PARAM_VALUE 0 bo->base.resv->lock.base.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 bo->base.resv->lock.base.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 bo->base.resv->lock.base.first_waiter->task->blocked_on 0
PARAM_VALUE 0 bo->base.resv->lock.base.osq.tail.counter 0-s32max
PARAM_VALUE 0 bo->bdev 4096-ptr_max
PARAM_VALUE 0 bo->bdev->funcs 4096-ptr_max
PARAM_VALUE 0 bo->bdev->funcs->access_memory 1017633713053646848,3225919106585391104,6129073923208413184
PARAM_VALUE 0 bo->resource 4096-ptr_max
PARAM_VALUE 0 bo->resource->mem_type 2-u32max
PARAM_VALUE 3 len 1-s32max
BUF_SIZE 0 bo s32min-(-1),1-s32max
BUF_SIZE 0 bo s32min-(-1),1-s32max
BUF_SIZE 2 buf (-1),4,8,15,24,64,128,168-s32max
BUF_SIZE 2 buf (-1),4,8,15,24,64,128,168-s32max
DATA_SOURCE 0 bo $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 buf $2
DATA_SOURCE 3 len $3
DATA_SOURCE 4 write $4
FUZZY_MAX 3 len 1
CONTAINER 0 -96-24-704+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 *buf s64min-s64max
USER_DATA 1 offset 0-u64max[c]
USER_DATA 3 len 1-4096
USER_PTR 2 buf
LOCK2 0 bo->base.resv