Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/function/uvc_video.c uvcg_video_hw_submit() -> uvcg_video_usb_req_queue()

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->ep 4096-ptr_max
PARAM_VALUE 0 video->ep->enabled 1
PARAM_VALUE 1 req 4096-ptr_max
CAPPED_DATA 0 &video->req_ready 1
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &video->req_lock
TYPE_LOCK (struct uvc_video)->req_lock

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

Type Parameter Key Value
PARAM_VALUE 0 video 4096-ptr_max
PARAM_VALUE 0 video->ep 4096-ptr_max
PARAM_VALUE 0 video->ep->enabled 1
PARAM_VALUE 0 video->is_enabled 1
PARAM_VALUE 0 video->queue.irqlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 video->queue.irqqueue.next 4096-ptr_max
PARAM_VALUE 0 video->req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->context->last_buf->state 3
CAPPED_DATA 0 &video->req_free 1
PARAM_COMPARE 0 &video->req_free != $0->req_free.next
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &video->req_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct uvc_video)->req_lock