Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/etnaviv/etnaviv_gem_submit.c submit_attach_object_fences() -> submit_unlock_object()

Type Parameter Key Value
PARAM_VALUE 0 submit 4096-ptr_max
PARAM_VALUE 0 submit->bos 4096-ptr_max
PARAM_VALUE 0 submit->cmdbuf.size 8,16-131080
PARAM_VALUE 0 submit->cmdbuf.suballoc 4096-ptr_max
PARAM_VALUE 0 submit->cmdbuf.vaddr 4096-ptr_max
PARAM_VALUE 0 submit->ctx 4096-ptr_max
PARAM_VALUE 0 submit->ctx->mmu 4096-ptr_max
PARAM_VALUE 0 submit->exec_state 0-2
PARAM_VALUE 0 submit->flags 0-14
PARAM_VALUE 0 submit->gpu 4096-ptr_max
PARAM_VALUE 0 submit->gpu->sched_lock.dep_map->name 0-255
PARAM_VALUE 0 submit->gpu->sched_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 submit->gpu->sched_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 submit->gpu->sched_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 submit->gpu->sched_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 submit->gpu->sched_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 submit->gpu->sched_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 submit->gpu->sched_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 submit->gpu->sched_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 submit->gpu->sched_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 submit->gpu->user_fences.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 submit->mmu_context 4096-ptr_max
PARAM_VALUE 0 submit->nr_bos 1-s32max
PARAM_VALUE 0 submit->nr_pmrs 0-128
PARAM_VALUE 0 submit->out_fence 4096-ptr_max
PARAM_VALUE 0 submit->out_fence->ops->set_deadline 0,2004285741546172416,2071105144755478528,2853440610722889728,3558081686514302976,5221404334427111424
PARAM_VALUE 0 submit->out_fence->ops->wait 0,3162960082638938112,3576649960670945280,4783308308267675648,5257098353859239936
PARAM_VALUE 0 submit->pid 0,4096-ptr_max
PARAM_VALUE 0 submit->pmrs 16,4096-ptr_max
PARAM_VALUE 0 submit->sched_job.cb.func 0
PARAM_VALUE 0 submit->sched_job.cb.node.next 0
PARAM_VALUE 0 submit->sched_job.cb.node.prev 0
PARAM_VALUE 0 submit->sched_job.credits 1
PARAM_VALUE 0 submit->sched_job.dependencies.xa_flags 33554436
PARAM_VALUE 0 submit->sched_job.dependencies.xa_head 0
PARAM_VALUE 0 submit->sched_job.entity->list.next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.entity->list.next->prev 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.entity->list.prev->next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.entity->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 submit->sched_job.entity->rb_tree_node.__rb_parent_color 1
PARAM_VALUE 0 submit->sched_job.entity->rb_tree_node.rb_left 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.entity->rq 0,4096-ptr_max
PARAM_VALUE 0 submit->sched_job.entity->rq->entities.prev 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.entity->rq->entities.prev->next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.entity->rq->entities.prev->next->next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.entity->rq->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 submit->sched_job.entity->rq->rb_tree_root.rb_leftmost 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.entity->rq->rb_tree_root.rb_leftmost->__rb_parent_color 1-u64max
PARAM_VALUE 0 submit->sched_job.entity->rq->rb_tree_root.rb_root.rb_node 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.entity->stats->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 submit->sched_job.entity->stats->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 submit->sched_job.entity_stats 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.finish_cb.func 0
PARAM_VALUE 0 submit->sched_job.finish_cb.node.next 0
PARAM_VALUE 0 submit->sched_job.finish_cb.node.prev 0
PARAM_VALUE 0 submit->sched_job.karma.counter 0
PARAM_VALUE 0 submit->sched_job.last_dependency 0
PARAM_VALUE 0 submit->sched_job.list.next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.list.next->next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.list.prev 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.list.prev->next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.queue_node.next 0
PARAM_VALUE 0 submit->sched_job.s_fence 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.s_fence->finished.cb_list.next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.s_fence->finished.cb_list.next->next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.s_fence->finished.cb_list.prev 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.s_fence->finished.cb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.s_fence->finished.cb_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.s_fence->finished.flags 1,3,5,7
PARAM_VALUE 0 submit->sched_job.s_fence->finished.ops 8417414206815801344
PARAM_VALUE 0 submit->sched_job.s_fence->finished.ops->get_driver_name 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.s_fence->finished.ops->get_timeline_name 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.s_fence->finished.ops->set_deadline 0,2004285741546172416,2071105144755478528,2853440610722889728,3558081686514302976,5221404334427111424
PARAM_VALUE 0 submit->sched_job.s_fence->finished.ops->wait 0,3162960082638938112,3576649960670945280,4783308308267675648,5257098353859239936
PARAM_VALUE 0 submit->sched_job.s_fence->finished.seqno 0-u32max
PARAM_VALUE 0 submit->sched_job.s_fence->sched 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.s_fence->scheduled.cb_list.next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.s_fence->scheduled.cb_list.next->next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.s_fence->scheduled.cb_list.prev 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.s_fence->scheduled.cb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.s_fence->scheduled.cb_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.s_fence->scheduled.flags 1,3,5,7
PARAM_VALUE 0 submit->sched_job.s_fence->scheduled.ops 382445721953370112
PARAM_VALUE 0 submit->sched_job.s_fence->scheduled.ops->get_driver_name 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.s_fence->scheduled.ops->get_timeline_name 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.s_fence->scheduled.ops->set_deadline 0,2004285741546172416,2071105144755478528,2853440610722889728,3558081686514302976,5221404334427111424
PARAM_VALUE 0 submit->sched_job.s_fence->scheduled.ops->wait 0,3162960082638938112,3576649960670945280,4783308308267675648,5257098353859239936
PARAM_VALUE 0 submit->sched_job.s_fence->scheduled.refcount.refcount.refs.counter 1
PARAM_VALUE 0 submit->sched_job.s_fence->scheduled.seqno 0-u32max
PARAM_VALUE 0 submit->sched_job.sched 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.work.data.counter 0
PARAM_VALUE 0 submit->sched_job.work.entry.next 0
PARAM_VALUE 0 submit->sched_job.work.entry.prev 0
PARAM_VALUE 0 submit->sched_job.work.func 0
PARAM_VALUE 1 i 0-2147483646
BUF_SIZE 0 submit 408-4194712
BUF_SIZE 0 submit 408-4194712
BUF_SIZE 0 submit->ctx 16,48,104,120,152,248,256,352,424,464,576,768,968,1120,1424,2256,4712,13184
CAPPED_DATA 0 submit->mmu_context 1
CAPPED_DATA 0 submit->nr_bos 1
CAPPED_DATA 0 submit->nr_pmrs 1
CAPPED_DATA 1 i 1
DATA_SOURCE 0 submit $0
PARAM_COMPARE 1 i < $0->nr_bos
NOSPEC 0 submit->nr_pmrs
MEM_ZERO 0 &submit->sched_job
NOCHECK_CALL
USER_DATA 0 submit->cmdbuf.size 8,16-131080[c]
USER_DATA 0 submit->exec_state 0[u]
USER_DATA 0 submit->flags 0-14[u]
USER_DATA 0 submit->nr_pmrs 0-128[c]
NO_OVERFLOW_SIMPLE 0 submit->nr_pmrs
NO_OVERFLOW_SIMPLE 0 submit->sched_job.entity->num_sched_list
UNITS 1 i unit_array_size

drivers/gpu/drm/etnaviv/etnaviv_gem_submit.c submit_cleanup() -> submit_unlock_object()

Type Parameter Key Value
PARAM_VALUE 0 submit 4096-ptr_max
PARAM_VALUE 0 submit->bos 4096-ptr_max
PARAM_VALUE 0 submit->cmdbuf.suballoc 0,4096-ptr_max
PARAM_VALUE 0 submit->cmdbuf.suballoc->free_space 1
PARAM_VALUE 0 submit->cmdbuf.suballoc->lock.dep_map->name 0-255
PARAM_VALUE 0 submit->cmdbuf.suballoc->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 submit->cmdbuf.suballoc->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 submit->cmdbuf.suballoc->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 submit->cmdbuf.suballoc->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 submit->cmdbuf.suballoc->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 submit->cmdbuf.suballoc->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 submit->cmdbuf.suballoc->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 submit->mmu_context 0,4096-ptr_max
PARAM_VALUE 0 submit->nr_bos 1-u32max
PARAM_VALUE 0 submit->prev_mmu_context 0,4096-ptr_max
CAPPED_DATA 1 i 1
PARAM_COMPARE 1 i < $0->nr_bos
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 i unit_array_size

drivers/gpu/drm/etnaviv/etnaviv_gem_submit.c submit_lock_objects() -> submit_unlock_object()

Type Parameter Key Value
PARAM_VALUE 0 submit 4096-ptr_max
PARAM_VALUE 0 submit->bos 4096-ptr_max
PARAM_VALUE 0 submit->cmdbuf.size 8,16-131080
PARAM_VALUE 0 submit->cmdbuf.suballoc 4096-ptr_max
PARAM_VALUE 0 submit->cmdbuf.vaddr 4096-ptr_max
PARAM_VALUE 0 submit->ctx 4096-ptr_max
PARAM_VALUE 0 submit->ctx->mmu 4096-ptr_max
PARAM_VALUE 0 submit->exec_state 0-2
PARAM_VALUE 0 submit->flags 0-14
PARAM_VALUE 0 submit->gpu 1-u64max
PARAM_VALUE 0 submit->mmu_context 4096-ptr_max
PARAM_VALUE 0 submit->nr_bos 1-s32max
PARAM_VALUE 0 submit->nr_pmrs 0-128
PARAM_VALUE 0 submit->pid 0,4096-ptr_max
PARAM_VALUE 0 submit->pmrs 16,4096-ptr_max
PARAM_VALUE 0 submit->refcount.refcount.refs.counter 1
PARAM_VALUE 0 submit->sched_job.cb.func 0
PARAM_VALUE 0 submit->sched_job.cb.node.next 0
PARAM_VALUE 0 submit->sched_job.cb.node.prev 0
PARAM_VALUE 0 submit->sched_job.credits 1
PARAM_VALUE 0 submit->sched_job.dependencies.xa_flags 33554436
PARAM_VALUE 0 submit->sched_job.dependencies.xa_head 0
PARAM_VALUE 0 submit->sched_job.entity_stats 0
PARAM_VALUE 0 submit->sched_job.finish_cb.func 0
PARAM_VALUE 0 submit->sched_job.finish_cb.node.next 0
PARAM_VALUE 0 submit->sched_job.finish_cb.node.prev 0
PARAM_VALUE 0 submit->sched_job.karma.counter 0
PARAM_VALUE 0 submit->sched_job.last_dependency 0
PARAM_VALUE 0 submit->sched_job.list.next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.list.next->next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.list.prev 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.list.prev->next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.queue_node.next 0
PARAM_VALUE 0 submit->sched_job.s_fence 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.s_priority 0
PARAM_VALUE 0 submit->sched_job.sched 0
PARAM_VALUE 0 submit->sched_job.work.data.counter 0
PARAM_VALUE 0 submit->sched_job.work.entry.next 0
PARAM_VALUE 0 submit->sched_job.work.entry.prev 0
PARAM_VALUE 0 submit->sched_job.work.func 0
PARAM_VALUE 1 i 0-2147483646
BUF_SIZE 0 submit 408-4194712
BUF_SIZE 0 submit 408-4194712
BUF_SIZE 0 submit->ctx 16,48,104,120,152,248,256,352,424,464,576,768,968,1120,1424,2256,4712,13184
CAPPED_DATA 0 submit->mmu_context 1
CAPPED_DATA 0 submit->nr_bos 1
CAPPED_DATA 0 submit->nr_pmrs 1
DATA_SOURCE 0 submit $0
FUZZY_MAX 0 submit->nr_bos 1
FUZZY_MAX 1 i 0
PARAM_COMPARE 1 i < $0->nr_bos
MEM_ZERO 0 &submit->sched_job
NOCHECK_CALL
USER_DATA 0 submit->cmdbuf.size 8,16-131080[c]
USER_DATA 0 submit->exec_state 0[u]
USER_DATA 0 submit->flags 0-14[u]
USER_DATA 0 submit->nr_pmrs 0-128[c]
NO_OVERFLOW_SIMPLE 0 submit->nr_pmrs
NO_OVERFLOW_SIMPLE 0 submit->sched_job.entity->num_sched_list
UNITS 1 i unit_array_size

drivers/gpu/drm/etnaviv/etnaviv_gem_submit.c submit_lock_objects() -> submit_unlock_object()

Type Parameter Key Value
PARAM_VALUE 0 submit 4096-ptr_max
PARAM_VALUE 0 submit->bos 4096-ptr_max
PARAM_VALUE 0 submit->cmdbuf.size 8,16-131080
PARAM_VALUE 0 submit->cmdbuf.suballoc 4096-ptr_max
PARAM_VALUE 0 submit->cmdbuf.vaddr 4096-ptr_max
PARAM_VALUE 0 submit->ctx 4096-ptr_max
PARAM_VALUE 0 submit->ctx->mmu 4096-ptr_max
PARAM_VALUE 0 submit->exec_state 0-2
PARAM_VALUE 0 submit->flags 0-14
PARAM_VALUE 0 submit->gpu 1-u64max
PARAM_VALUE 0 submit->mmu_context 4096-ptr_max
PARAM_VALUE 0 submit->nr_bos 1-s32max
PARAM_VALUE 0 submit->nr_pmrs 0-128
PARAM_VALUE 0 submit->pid 0,4096-ptr_max
PARAM_VALUE 0 submit->pmrs 16,4096-ptr_max
PARAM_VALUE 0 submit->refcount.refcount.refs.counter 1
PARAM_VALUE 0 submit->sched_job.cb.func 0
PARAM_VALUE 0 submit->sched_job.cb.node.next 0
PARAM_VALUE 0 submit->sched_job.cb.node.prev 0
PARAM_VALUE 0 submit->sched_job.credits 1
PARAM_VALUE 0 submit->sched_job.dependencies.xa_flags 33554436
PARAM_VALUE 0 submit->sched_job.dependencies.xa_head 0
PARAM_VALUE 0 submit->sched_job.entity_stats 0
PARAM_VALUE 0 submit->sched_job.finish_cb.func 0
PARAM_VALUE 0 submit->sched_job.finish_cb.node.next 0
PARAM_VALUE 0 submit->sched_job.finish_cb.node.prev 0
PARAM_VALUE 0 submit->sched_job.karma.counter 0
PARAM_VALUE 0 submit->sched_job.last_dependency 0
PARAM_VALUE 0 submit->sched_job.list.next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.list.next->next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.list.prev 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.list.prev->next 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.queue_node.next 0
PARAM_VALUE 0 submit->sched_job.s_fence 4096-ptr_max
PARAM_VALUE 0 submit->sched_job.s_priority 0
PARAM_VALUE 0 submit->sched_job.sched 0
PARAM_VALUE 0 submit->sched_job.work.data.counter 0
PARAM_VALUE 0 submit->sched_job.work.entry.next 0
PARAM_VALUE 0 submit->sched_job.work.entry.prev 0
PARAM_VALUE 0 submit->sched_job.work.func 0
PARAM_VALUE 1 i 1-2147483646
BUF_SIZE 0 submit 408-4194712
BUF_SIZE 0 submit 408-4194712
BUF_SIZE 0 submit->ctx 16,48,104,120,152,248,256,352,424,464,576,768,968,1120,1424,2256,4712,13184
CAPPED_DATA 0 submit->mmu_context 1
CAPPED_DATA 0 submit->nr_bos 1
CAPPED_DATA 0 submit->nr_pmrs 1
CAPPED_DATA 1 i 1
DATA_SOURCE 0 submit $0
FUZZY_MAX 1 i 1
PARAM_COMPARE 1 i > $0->nr_bos
MEM_ZERO 0 &submit->sched_job
NOCHECK_CALL
USER_DATA 0 submit->cmdbuf.size 8,16-131080[c]
USER_DATA 0 submit->exec_state 0[u]
USER_DATA 0 submit->flags 0-14[u]
USER_DATA 0 submit->nr_pmrs 0-128[c]
NO_OVERFLOW_SIMPLE 0 submit->nr_pmrs
NO_OVERFLOW_SIMPLE 0 submit->sched_job.entity->num_sched_list
UNITS 1 i unit_array_size
TYPE_LOCK (struct dma_resv)->lock