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

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.osq.tail.counter 0-s32max
PARAM_VALUE 0 bo->resource 4096-ptr_max
PARAM_VALUE 0 bo->resource->mem_type 0-1
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
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
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 *buf 0-255
USER_DATA 1 offset 0-u64max[c]
USER_DATA 2 *buf 0-255
USER_DATA 3 len 1-4096
UNITS 0 bo unit_byte
UNITS 1 offset unit_byte
UNITS 3 len unit_byte
USER_PTR 2 buf
LOCK2 0 bo->base.resv