Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/function/uvc_video.c uvc_video_complete() -> uvcg_queue_cancel()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 1 disconnect 1
BUF_SIZE 0 queue 736
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pdev->lock
HALF_LOCKED2 &priv_dev->lock
HALF_LOCKED2 &udc->lock
HALF_LOCKED2 flags

drivers/usb/gadget/function/uvc_video.c uvc_video_complete() -> uvcg_queue_cancel()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 1 disconnect 0
BUF_SIZE 0 queue 736
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pdev->lock
HALF_LOCKED2 &priv_dev->lock
HALF_LOCKED2 &udc->lock
HALF_LOCKED2 flags

drivers/usb/gadget/function/uvc_video.c uvc_video_complete() -> uvcg_queue_cancel()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->buf_used 0
PARAM_VALUE 0 queue->irqlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 disconnect 0
BUF_SIZE 0 queue 736
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cdev->lock
HALF_LOCKED2 &pdev->lock
HALF_LOCKED2 &priv_dev->lock
HALF_LOCKED2 &udc->lock
HALF_LOCKED2 cdev_flags
HALF_LOCKED2 flags

drivers/usb/gadget/function/uvc_video.c uvcg_video_disable() -> uvcg_queue_cancel()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 1 disconnect 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->irqlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 queue->irqqueue.next 4096-ptr_max
PARAM_VALUE 1 disconnect 0
BUF_SIZE 0 queue 736
PARAM_COMPARE 0 &queue->irqqueue != $0->irqqueue.next
NOCHECK_CALL
HALF_LOCKED2 &pool->lock