Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/gspca/jl2005bcd.c jl2005c_read_reg() -> jl2005c_read1()

Type Parameter Key Value
PARAM_VALUE 0 gspca_dev 4096-ptr_max
PARAM_VALUE 0 gspca_dev->dev 4096-ptr_max
PARAM_VALUE 0 gspca_dev->dev->state 4-u32max
PARAM_VALUE 0 gspca_dev->present 1
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
BUF_SIZE 0 gspca_dev 3880,3888,3896,3904,3912,3928,3936,3960,3968,3976,3984,3992,4000,4320,4448,4464,4472,4504,4520,4624,4672,4688,5016,5424,5616
BUF_SIZE 0 gspca_dev 3880,3888,3896,3904,3912,3928,3936,3960,3968,3976,3984,3992,4000,4320,4448,4464,4472,4504,4520,4624,4672,4688,5016,5424,5616
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