Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/gspca/stk1135.c sensor_read() -> sensor_set_page()

Type Parameter Key Value
PARAM_VALUE 0 gspca_dev 4096-ptr_max
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->dev->toggle 0-4294967295
PARAM_VALUE 1 page 0
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),5-9,12
STR_LEN 0 gspca_dev (-1),5-9,12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &gspca_dev->usb_lock

drivers/media/usb/gspca/stk1135.c sensor_write() -> sensor_set_page()

Type Parameter Key Value
PARAM_VALUE 0 gspca_dev 4096-ptr_max
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),5-9,12
STR_LEN 0 gspca_dev (-1),5-9,12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &gspca_dev->usb_lock