Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/uvc/uvc_video.c uvc_video_decode_bulk() -> uvc_video_next_buffers()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
PARAM_VALUE 0 stream->bulk.header_size 0
PARAM_VALUE 0 stream->bulk.skip_payload 0
PARAM_VALUE 1 *video_buf 4096-ptr_max
PARAM_VALUE 2 *meta_buf 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/usb/uvc/uvc_video.c uvc_video_decode_bulk() -> uvc_video_next_buffers()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
PARAM_VALUE 0 stream->bulk.header 4096-ptr_max
PARAM_VALUE 0 stream->bulk.header_size 1-u32max
PARAM_VALUE 0 stream->bulk.skip_payload 0
PARAM_VALUE 1 *video_buf 4096-ptr_max
PARAM_VALUE 2 *meta_buf 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/usb/uvc/uvc_video.c uvc_video_decode_isoc() -> uvc_video_next_buffers()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
PARAM_VALUE 1 *video_buf 4096-ptr_max
PARAM_VALUE 2 *meta_buf 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/usb/uvc/uvc_video.c uvc_video_decode_isoc() -> uvc_video_next_buffers()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
PARAM_VALUE 0 stream->dev->quirks 131072-u32max
PARAM_VALUE 0 stream->last_fid 0-1
PARAM_VALUE 1 *video_buf 4096-ptr_max
PARAM_VALUE 2 *meta_buf 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock