Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/gspca/gspca.c gspca_input_create_urb() -> alloc_and_submit_int_urb()

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->actconfig 0,4096-ptr_max
PARAM_VALUE 0 gspca_dev->sd_desc 4096-ptr_max
PARAM_VALUE 0 gspca_dev->sd_desc->get_jcomp 0,995921884620996608,3194574065881448448,6489454351036272640,6663118075832455168
PARAM_VALUE 0 gspca_dev->sd_desc->get_register 0,3032596592442978304
PARAM_VALUE 0 gspca_dev->sd_desc->int_pkt_scan 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->name 4096-ptr_max
PARAM_VALUE 0 gspca_dev->sd_desc->other_input 0-1
PARAM_VALUE 0 gspca_dev->sd_desc->set_jcomp 0,1879796341472260096,3872570501752127488,4841988895498498048,6663565056160186368
PARAM_VALUE 0 gspca_dev->sd_desc->set_register 0,7310514390112702464,7466562273117868032
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->vdev.dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
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->sd_desc (-1),184
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
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 gspca_dev->input_dev->max_vals
NO_OVERFLOW_SIMPLE 0 gspca_dev->int_urb->num_mapped_sgs
NO_OVERFLOW_SIMPLE 0 gspca_dev->int_urb->transfer_buffer_length
NO_OVERFLOW_SIMPLE 0 gspca_dev->vdev.cdev->count
UNITS 0 gspca_dev unit_byte
HALF_LOCKED2 0 &gspca_dev->usb_lock