Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/gspca/gspca.c build_isoc_ep_tb() -> which_bandwidth()

Type Parameter Key Value
PARAM_VALUE 0 gspca_dev 4096-ptr_max
PARAM_VALUE 0 gspca_dev->alt 0
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->image 0
PARAM_VALUE 0 gspca_dev->image_len 0
PARAM_VALUE 0 gspca_dev->last_packet_type 0
PARAM_VALUE 0 gspca_dev->sd_desc 4096-ptr_max
PARAM_VALUE 0 gspca_dev->sd_desc->isoc_init 0,4096-ptr_max
PARAM_VALUE 0 gspca_dev->usb_err 0
BUF_SIZE 0 gspca_dev s32min-(-2),1-s32max
BUF_SIZE 0 gspca_dev s32min-(-2),1-s32max
CAPPED_DATA 0 gspca_dev->dev->actconfig->desc.bNumInterfaces 1
DATA_SOURCE 0 gspca_dev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 gspca_dev unit_byte
HALF_LOCKED2 0 &gspca_dev->usb_lock