Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/nouveau/nouveau_sched.c nouveau_job_submit() -> (struct nouveau_job_ops)->armed_submit()

Type Parameter Key Value
PARAM_VALUE 0 job 4096-ptr_max
PARAM_VALUE 0 job->base.dependencies.xa_flags 33554436
PARAM_VALUE 0 job->base.entity 4096-ptr_max
PARAM_VALUE 0 job->base.entity->last_scheduled->node.node.next 0
PARAM_VALUE 0 job->base.entity->last_scheduled->node.node.prev 0
PARAM_VALUE 0 job->base.entity->last_scheduled->ops->enable_signaling 0,4096-ptr_max
PARAM_VALUE 0 job->base.entity->last_scheduled->ops->get_driver_name 0,4096-ptr_max
PARAM_VALUE 0 job->base.entity->last_scheduled->ops->get_timeline_name 0,4096-ptr_max
PARAM_VALUE 0 job->base.entity->last_scheduled->ops->release 0,4096-ptr_max
PARAM_VALUE 0 job->base.entity->last_scheduled->ops->set_deadline 0,4096-ptr_max
PARAM_VALUE 0 job->base.entity->last_scheduled->ops->signaled 0,4096-ptr_max
PARAM_VALUE 0 job->base.entity->last_scheduled->ops->wait 0,4096-ptr_max
PARAM_VALUE 0 job->base.entity->last_scheduled->rcu.node.node.next 0
PARAM_VALUE 0 job->base.entity->last_scheduled->rcu.node.node.prev 0
PARAM_VALUE 0 job->base.entity->list.next->prev 4096-ptr_max
PARAM_VALUE 0 job->base.entity->list.prev->next 4096-ptr_max
PARAM_VALUE 0 job->base.entity->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 job->base.entity->rb_tree_node.rb_right 0,4096-ptr_max
PARAM_VALUE 0 job->base.entity->rq 0,4096-ptr_max
PARAM_VALUE 0 job->base.entity->rq->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 job->base.entity->rq->rb_tree_root.rb_leftmost->rb_left 0
PARAM_VALUE 0 job->base.entity->stats 4096-ptr_max
PARAM_VALUE 0 job->base.entity->stats->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 job->base.entity_stats 4096-ptr_max
PARAM_VALUE 0 job->base.s_fence 4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->finished.cb_list.next 4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->finished.cb_list.next->next 4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->finished.cb_list.prev 4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->finished.cb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->finished.cb_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->finished.error 0
PARAM_VALUE 0 job->base.s_fence->finished.extern_lock 1-u64max
PARAM_VALUE 0 job->base.s_fence->finished.flags 1,3,5,7
PARAM_VALUE 0 job->base.s_fence->finished.ops 8417414206815801344
PARAM_VALUE 0 job->base.s_fence->finished.ops->enable_signaling 0,4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->finished.ops->get_driver_name 4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->finished.ops->get_timeline_name 4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->finished.ops->release 0,4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->finished.ops->set_deadline 0,2004285741546172416,2071105144755478528,2853440610722889728,3558081686514302976,5221404334427111424
PARAM_VALUE 0 job->base.s_fence->finished.ops->signaled 0,4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->finished.ops->wait 0,3162960082638938112,3576649960670945280,4783308308267675648,5257098353859239936
PARAM_VALUE 0 job->base.s_fence->finished.seqno 0-u32max
PARAM_VALUE 0 job->base.s_fence->sched 4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->scheduled.cb_list.next 4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->scheduled.cb_list.next->next 4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->scheduled.cb_list.prev 4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->scheduled.cb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->scheduled.cb_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->scheduled.error 0
PARAM_VALUE 0 job->base.s_fence->scheduled.extern_lock 1-u64max
PARAM_VALUE 0 job->base.s_fence->scheduled.flags 1,3,5,7
PARAM_VALUE 0 job->base.s_fence->scheduled.ops 382445721953370112
PARAM_VALUE 0 job->base.s_fence->scheduled.ops->enable_signaling 0,4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->scheduled.ops->get_driver_name 4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->scheduled.ops->get_timeline_name 4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->scheduled.ops->release 0,4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->scheduled.ops->set_deadline 0,2004285741546172416,2071105144755478528,2853440610722889728,3558081686514302976,5221404334427111424
PARAM_VALUE 0 job->base.s_fence->scheduled.ops->signaled 0,4096-ptr_max
PARAM_VALUE 0 job->base.s_fence->scheduled.ops->wait 0,3162960082638938112,3576649960670945280,4783308308267675648,5257098353859239936
PARAM_VALUE 0 job->base.s_fence->scheduled.refcount.refcount.refs.counter 1
PARAM_VALUE 0 job->base.s_fence->scheduled.seqno 0-u32max
PARAM_VALUE 0 job->base.sched 4096-ptr_max
PARAM_VALUE 0 job->cli 0,4096-ptr_max
PARAM_VALUE 0 job->done_fence 4096-ptr_max
PARAM_VALUE 0 job->entry.next 4096-ptr_max
PARAM_VALUE 0 job->entry.prev 4096-ptr_max
PARAM_VALUE 0 job->in_sync.count 0-s32max
PARAM_VALUE 0 job->ops 4096-ptr_max
PARAM_VALUE 0 job->ops->armed_submit 5614369081082114048,7647096619796647936
PARAM_VALUE 0 job->ops->submit 4710986821579984896,6214963895070564352
PARAM_VALUE 0 job->out_sync.count 0-s32max
PARAM_VALUE 0 job->sched->job.list.head.next 4096-ptr_max
PARAM_VALUE 0 job->sched->job.list.head.next->next 4096-ptr_max
PARAM_VALUE 0 job->sched->job.list.head.next->prev 4096-ptr_max
PARAM_VALUE 0 job->sched->job.list.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 job->sched->mutex.dep_map->name 0-255
PARAM_VALUE 0 job->sched->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 job->sched->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 job->sched->mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 job->sched->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 job->sched->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 job->sched->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 job->sched->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 job->state 1
PARAM_VALUE 1 vme 8767389989685878784
PARAM_VALUE 1 vme->exec.contended 0
PARAM_VALUE 1 vme->exec.flags 0
PARAM_VALUE 1 vme->exec.max_objects 0
PARAM_VALUE 1 vme->exec.num_objects 0
PARAM_VALUE 1 vme->exec.objects 0
PARAM_VALUE 1 vme->exec.prelocked 0
PARAM_VALUE 1 vme->exec.ticket.acquired 0
PARAM_VALUE 1 vme->exec.ticket.contending_lock 0
PARAM_VALUE 1 vme->exec.ticket.deadlock_inject_countdown 0
PARAM_VALUE 1 vme->exec.ticket.deadlock_inject_interval 0
PARAM_VALUE 1 vme->exec.ticket.dep_map.cpu 0
PARAM_VALUE 1 vme->exec.ticket.dep_map.ip 0
PARAM_VALUE 1 vme->exec.ticket.dep_map.key 0
PARAM_VALUE 1 vme->exec.ticket.dep_map.lock_type 0
PARAM_VALUE 1 vme->exec.ticket.dep_map.name 0
PARAM_VALUE 1 vme->exec.ticket.dep_map.wait_type_inner 0
PARAM_VALUE 1 vme->exec.ticket.dep_map.wait_type_outer 0
PARAM_VALUE 1 vme->exec.ticket.done_acquire 0
PARAM_VALUE 1 vme->exec.ticket.first_lock_dep_map.cpu 0
PARAM_VALUE 1 vme->exec.ticket.first_lock_dep_map.ip 0
PARAM_VALUE 1 vme->exec.ticket.first_lock_dep_map.key 0
PARAM_VALUE 1 vme->exec.ticket.first_lock_dep_map.lock_type 0
PARAM_VALUE 1 vme->exec.ticket.first_lock_dep_map.name 0
PARAM_VALUE 1 vme->exec.ticket.first_lock_dep_map.wait_type_inner 0
PARAM_VALUE 1 vme->exec.ticket.first_lock_dep_map.wait_type_outer 0
PARAM_VALUE 1 vme->exec.ticket.is_wait_die 0
PARAM_VALUE 1 vme->exec.ticket.stamp 0
PARAM_VALUE 1 vme->exec.ticket.task 0
PARAM_VALUE 1 vme->exec.ticket.wounded 0
PARAM_VALUE 1 vme->exec.ticket.ww_class 0
PARAM_VALUE 1 vme->extra.fn 0
PARAM_VALUE 1 vme->extra.priv 0
PARAM_VALUE 1 vme->flags 2
PARAM_VALUE 1 vme->num_fences 1
CAPPED_DATA 0 job->in_sync.count 1
CAPPED_DATA 0 job->out_sync.count 1
DATA_SOURCE 0 job $0
CONTAINER 0 -8-392+0 $(-1)
PARAM_COMPARE 0 &job->base.s_fence->finished == $0->done_fence
NOSPEC 0 job->in_sync.count
NOSPEC 0 job->out_sync.count
NOCHECK_CALL
USER_DATA 0 job->in_sync.count 1-s32max[c]
USER_DATA 0 job->out_sync.count 1-s32max[c]
USER_DATA 0 job->sync 0-1
LOCK2 &sched->mutex
HALF_LOCKED2 &file_priv->driver_priv->mutex
TYPE_LOCK (struct nouveau_sched)->mutex