Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/function/uvc_video.c uvcg_video_pump() -> (struct uvc_video)->encode()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->context->last_buf->state 3
PARAM_VALUE 1 video 4096-ptr_max
PARAM_VALUE 1 video->ep 4096-ptr_max
PARAM_VALUE 1 video->ep->enabled 1
PARAM_VALUE 1 video->is_enabled 1
PARAM_VALUE 1 video->queue.irqqueue.next 4096-ptr_max
PARAM_VALUE 1 video->req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 buf 4096-ptr_max
CAPPED_DATA 1 &video->req_free 1
DATA_SOURCE 2 buf r uvcg_queue_head
CONTAINER 1 -488+0 $(-1)
PARAM_COMPARE 1 &video->req_free != $1->req_free.next
NOCHECK_CALL
LOCK2 &queue->irqlock
LOCK2 flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct uvc_video_queue)->irqlock