Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/gspca/stk1135.c sensor_read_8() -> stk1135_serial_wait_ready()

Type Parameter Key Value
PARAM_VALUE 0 gspca_dev 4096-ptr_max
PARAM_VALUE 0 gspca_dev->dev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 gspca_dev->dev->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 gspca_dev->dev->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 gspca_dev->queue.buf_ops->copy_timestamp 0,3401818510708633600
PARAM_VALUE 0 gspca_dev->queue.buf_ops->fill_user_buffer 0,5298842246379896832,5841025948992888832
PARAM_VALUE 0 gspca_dev->queue.buf_ops->fill_vb2_buffer 0,1786911256580034560,5041348282711113728
PARAM_VALUE 0 gspca_dev->queue.buf_ops->init_buffer 0,384438844081053696
PARAM_VALUE 0 gspca_dev->queue.buf_ops->verify_planes_array 0,6675302666440089600
PARAM_VALUE 0 gspca_dev->sensor_page 0
PARAM_VALUE 0 *gspca_dev->dev->toggle 0-4294967295
BUF_SIZE 0 gspca_dev s32min-(-1),1-s32max
BUF_SIZE 0 gspca_dev s32min-(-1),1-s32max
BUF_SIZE 0 gspca_dev->usb_buf (-1),64
BUF_SIZE 0 gspca_dev->vdev.lock (-1),152
BUF_SIZE 0 gspca_dev->vdev.queue (-1),632
BUF_SIZE 0 gspca_dev->vdev.v4l2_dev (-1),192
DATA_SOURCE 0 gspca_dev $0
STR_LEN 0 gspca_dev (-1)
STR_LEN 0 gspca_dev (-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 gspca_dev->int_urb->transfer_buffer_length
HALF_LOCKED2 0 &gspca_dev->usb_lock

drivers/media/usb/gspca/stk1135.c sensor_write_8() -> stk1135_serial_wait_ready()

Type Parameter Key Value
PARAM_VALUE 0 gspca_dev 4096-ptr_max
PARAM_VALUE 0 gspca_dev->cam.bulk 1
PARAM_VALUE 0 gspca_dev->cam.bulk_nurbs 0-2,4
PARAM_VALUE 0 gspca_dev->cam.needs_full_bandwidth 0-1
PARAM_VALUE 0 gspca_dev->cam.no_urb_create 0-1
PARAM_VALUE 0 gspca_dev->queue.buf_ops->copy_timestamp 0,3401818510708633600
PARAM_VALUE 0 gspca_dev->queue.buf_ops->fill_user_buffer 0,5298842246379896832,5841025948992888832
PARAM_VALUE 0 gspca_dev->queue.buf_ops->fill_vb2_buffer 0,1786911256580034560,5041348282711113728
PARAM_VALUE 0 gspca_dev->queue.buf_ops->init_buffer 0,384438844081053696
PARAM_VALUE 0 gspca_dev->queue.buf_ops->verify_planes_array 0,6675302666440089600
PARAM_VALUE 0 gspca_dev->sd_desc->isoc_init 0,4096-ptr_max
PARAM_VALUE 0 gspca_dev->sd_desc->isoc_nego 0,5597140758607159296,7839014778267959296
PARAM_VALUE 0 gspca_dev->sd_desc->stop0 0,4096-ptr_max
PARAM_VALUE 0 gspca_dev->sd_desc->stopN 0,4096-ptr_max
PARAM_VALUE 0 *gspca_dev->dev->toggle 0-4294967295
BUF_SIZE 0 gspca_dev s32min-(-1),1-s32max
BUF_SIZE 0 gspca_dev s32min-(-1),1-s32max
BUF_SIZE 0 gspca_dev->usb_buf (-1),64
BUF_SIZE 0 gspca_dev->vdev.lock (-1),152
BUF_SIZE 0 gspca_dev->vdev.queue (-1),632
BUF_SIZE 0 gspca_dev->vdev.v4l2_dev (-1),192
DATA_SOURCE 0 gspca_dev $0
STR_LEN 0 gspca_dev (-1)
STR_LEN 0 gspca_dev (-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 gspca_dev->int_urb->transfer_buffer_length
HALF_LOCKED2 0 &gspca_dev->usb_lock