Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/gspca/vc032x.c vc032x_probe_sensor() -> read_sensor_register()

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->sd_desc 4096-ptr_max
PARAM_VALUE 0 gspca_dev->sensor 0-8,10-255
PARAM_VALUE 0 gspca_dev->usb_lock.dep_map->name 0-255
PARAM_VALUE 0 gspca_dev->usb_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 gspca_dev->usb_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 gspca_dev->usb_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 gspca_dev->usb_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 address 0-1,10,57,130
BUF_SIZE 0 gspca_dev s32min-(-2),1-s32max
BUF_SIZE 0 gspca_dev s32min-(-2),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
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &gspca_dev->usb_lock

drivers/media/usb/gspca/vc032x.c vc032x_probe_sensor() -> read_sensor_register()

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->sd_desc 4096-ptr_max
PARAM_VALUE 0 gspca_dev->sensor 0-8,10-255
PARAM_VALUE 0 gspca_dev->usb_buf 4096-ptr_max
PARAM_VALUE 0 gspca_dev->usb_lock.dep_map->name 0-255
PARAM_VALUE 0 gspca_dev->usb_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 gspca_dev->usb_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 gspca_dev->usb_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 gspca_dev->usb_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 address 131
BUF_SIZE 0 gspca_dev s32min-(-2),1-s32max
BUF_SIZE 0 gspca_dev s32min-(-2),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
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &gspca_dev->usb_lock