Defined in 2 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/function/uvc_v4l2.c uvc_v4l2_streamoff() -> uvc_function_setup_continue()

Type Parameter Key Value
PARAM_VALUE 0 uvc 4096-ptr_max
PARAM_VALUE 0 uvc->state 1
PARAM_VALUE 0 uvc->video.ep 1-u64max
PARAM_VALUE 0 uvc->video.is_enabled 0
PARAM_VALUE 0 uvc->video.pump.lockdep_map->name 0-255
PARAM_VALUE 0 uvc->video.queue.buf_used 0
PARAM_VALUE 0 uvc->video.queue.irqlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 uvc->video.queue.irqqueue.next 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.irqqueue.next->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.irqqueue.prev 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.irqqueue.prev->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.irqqueue.prev->prev 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue->drv_priv->pipe->sd->active_state->lock->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 uvc->video.queue.queue.done_list.next 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.done_list.next->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.done_list.prev 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.done_list.prev->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.done_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->chained 0-1
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->chained_count s32min-s32max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->isi->dev->power.deferred_resume 0-1
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->isi->dev->power.idle_notification 0-1
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->isi->dev->power.request 0-4
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->isi->dev->power.request_pending 0-1
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->isi->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->isi->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->isi->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->isi->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->isi->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->pipe->available_res 0-255
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->pipe->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->pipe->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->pipe->use_count 0-4294967295
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->usage_count s32min-s32max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->mpipe.start_count s32min-s32max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->acquired_res 0,2-3
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->available_res 0-255
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->chained 0-1
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->isi->dev->dma_uses_io_tlb 0-1
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->isi->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->sd.active_state->lock->osq.tail.counter 0-s32max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->sd.active_state->lock->wait_lock.owner (-1)
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->sd.active_state->lock->wait_lock.owner_cpu 4294967295
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->video_dev.entity.pads->pipe->start_count s32min-s32max
PARAM_VALUE 0 uvc->video.queue.queue.error 0
PARAM_VALUE 0 uvc->video.queue.queue.fileio 0-1,4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.owner->vdev->pipe.start_count s32min-s32max
PARAM_VALUE 0 uvc->video.queue.queue.queued_count 0
PARAM_VALUE 0 uvc->video.queue.queue.queued_list.next 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.queued_list.next->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.queued_list.prev 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.queued_list.prev->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.queued_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.uses_qbuf 0
PARAM_VALUE 0 uvc->video.queue.queue.uses_requests 0
PARAM_VALUE 0 uvc->video.req_free.next 4096-ptr_max
PARAM_VALUE 0 uvc->video.req_free.next->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.req_free.prev 4096-ptr_max
PARAM_VALUE 0 uvc->video.req_free.prev->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.req_free.prev->prev 4096-ptr_max
PARAM_VALUE 0 uvc->video.req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 uvc->video.req_ready.next 4096-ptr_max
PARAM_VALUE 0 uvc->video.req_ready.next->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.req_ready.prev 4096-ptr_max
PARAM_VALUE 0 uvc->video.req_ready.prev->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.req_ready.prev->prev 4096-ptr_max
PARAM_VALUE 0 uvc->video.ureqs.next 4096-ptr_max
PARAM_VALUE 0 uvc->video.ureqs.next->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.ureqs.prev 4096-ptr_max
PARAM_VALUE 0 uvc->video.ureqs.prev->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.ureqs.prev->prev 4096-ptr_max
PARAM_VALUE 1 disable_ep 1
BUF_SIZE 0 uvc s32min-(-2),1-s32max
BUF_SIZE 0 uvc s32min-(-2),1-s32max
NOCHECK_CALL
UNITS 0 uvc unit_byte
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/usb/gadget/function/uvc_v4l2.c uvc_v4l2_streamon() -> uvc_function_setup_continue()

Type Parameter Key Value
PARAM_VALUE 0 uvc->video.encode 2296148331700989952,8766507795222413312,9218636176534831104
PARAM_VALUE 0 uvc->video.ep 4096-ptr_max
PARAM_VALUE 0 uvc->video.hw_submit.node.next 4096-ptr_max
PARAM_VALUE 0 uvc->video.hw_submit.worker 4096-ptr_max
PARAM_VALUE 0 uvc->video.hw_submit.worker->lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 uvc->video.is_enabled 1
PARAM_VALUE 0 uvc->video.kworker->lock.dep_map->name 0-255
PARAM_VALUE 0 uvc->video.kworker->lock.owner (-1)
PARAM_VALUE 0 uvc->video.kworker->lock.owner_cpu u32max
PARAM_VALUE 0 uvc->video.kworker->work_list.prev 4096-ptr_max
PARAM_VALUE 0 uvc->video.kworker->work_list.prev->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.kworker->work_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.max_req_size 0-190371
PARAM_VALUE 0 uvc->video.payload_size 0
PARAM_VALUE 0 uvc->video.queue.buf_used 0
PARAM_VALUE 0 uvc->video.queue.irqlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 uvc->video.queue.irqqueue.next 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.irqqueue.next->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.irqqueue.prev 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.irqqueue.prev->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.irqqueue.prev->prev 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue->drv_priv->pipe->sd->active_state->lock->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 uvc->video.queue.queue.done_list.next 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.done_list.next->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.done_list.prev 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.done_list.prev->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.done_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->chained 0-1
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->isi->dev->power.deferred_resume 0-1
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->isi->dev->power.idle_notification 0-1
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->isi->dev->power.request 0-4
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->isi->dev->power.request_pending 0-1
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->isi->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->isi->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->isi->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->isi->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->isi->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->pipe->available_res 0-255
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->pipe->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->pipe->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->pipe->use_count 0-4294967295
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->m2m->usage_count s32min-s32max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->mpipe.start_count s32min-s32max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->acquired_res 0,2-3
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->available_res 0-255
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->chained 0-1
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->isi->dev->dma_uses_io_tlb 0-1
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->isi->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->sd.active_state->lock->osq.tail.counter 0-s32max
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->sd.active_state->lock->wait_lock.owner (-1)
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->pipe->sd.active_state->lock->wait_lock.owner_cpu 4294967295
PARAM_VALUE 0 uvc->video.queue.queue.drv_priv->video_dev.entity.pads->pipe->start_count s32min-s32max
PARAM_VALUE 0 uvc->video.queue.queue.error 0
PARAM_VALUE 0 uvc->video.queue.queue.fileio 0
PARAM_VALUE 0 uvc->video.queue.queue.owner->vdev->pipe.start_count s32min-s32max
PARAM_VALUE 0 uvc->video.queue.queue.queued_count 0
PARAM_VALUE 0 uvc->video.queue.queue.queued_list.next 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.queued_list.next->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.queued_list.prev 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.queued_list.prev->next 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.queued_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 uvc->video.queue.queue.uses_qbuf 0
PARAM_VALUE 0 uvc->video.queue.queue.uses_requests 0
PARAM_VALUE 0 uvc->video.queue.sequence 0
PARAM_VALUE 0 uvc->video.queued.counter 0
PARAM_VALUE 0 uvc->video.req_int_count 0
PARAM_VALUE 0 uvc->video.req_size 0-190371
PARAM_VALUE 1 disable_ep 0
BUF_SIZE 0 uvc s32min-(-2),1-s32max
BUF_SIZE 0 uvc s32min-(-2),1-s32max
NOCHECK_CALL
UNITS 0 uvc unit_byte
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock