Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/drm_gpuvm.c drm_gpuvm_prepare_objects() -> __drm_gpuvm_prepare_objects()

Type Parameter Key Value
PARAM_VALUE 0 gpuvm 4096-ptr_max
PARAM_VALUE 1 exec 4096-ptr_max
PARAM_VALUE 1 exec->contended 0,4096-ptr_max
PARAM_VALUE 1 exec->contended->resv->lock->base.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 exec->contended->resv->lock.base.dep_map->name 0-255
PARAM_VALUE 1 exec->contended->resv->lock.base.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 exec->contended->resv->lock.base.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 exec->contended->resv->lock.base.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 exec->contended->resv->lock.base.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 exec->contended->resv->lock.base.first_waiter->task->blocked_on 0
PARAM_VALUE 1 exec->contended->resv->lock.base.osq.tail.counter 0-s32max
PARAM_VALUE 1 exec->ticket.contending_lock 0,4096-ptr_max
PARAM_VALUE 1 exec->ticket.deadlock_inject_countdown 0-3758096380,u32max
PARAM_VALUE 1 exec->ticket.deadlock_inject_interval 0-3758096380,u32max
PARAM_VALUE 1 exec->ticket.wounded 0-1
PARAM_VALUE 1 exec->ticket.ww_class->acquire_name 0,4096-ptr_max
PARAM_VALUE 1 exec->ticket.ww_class->is_wait_die 0-s32max
PARAM_VALUE 1 exec->ticket.ww_class->mutex_name 0,4096-ptr_max
BUF_SIZE 0 gpuvm (-1),416
BUF_SIZE 0 gpuvm (-1),416
BUF_SIZE 1 exec (-1),192
BUF_SIZE 1 exec (-1),192
CAPPED_DATA 2 num_fences 1
DATA_SOURCE 0 gpuvm $0
DATA_SOURCE 1 exec $1
DATA_SOURCE 2 num_fences $2
NOSPEC 2 num_fences
NOSPEC 2 num_fences
USER_DATA 2 num_fences 1-s32max[c]
NO_OVERFLOW_SIMPLE 2 num_fences
HALF_LOCKED2 &queue->lock
HALF_LOCKED2 &vm->lock
HALF_LOCKED2 global &drm_unplug_srcu