Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/b2c2/flexcop-usb.c flexcop_usb_probe() -> flexcop_usb_transfer_init()

Type Parameter Key Value
PARAM_VALUE 0 fc_usb 4096-ptr_max
PARAM_VALUE 0 fc_usb->data_mutex.dep_map->name 0-255
PARAM_VALUE 0 fc_usb->data_mutex.first_waiter 0
PARAM_VALUE 0 fc_usb->data_mutex.magic 4096-ptr_max
PARAM_VALUE 0 fc_usb->data_mutex.osq.tail.counter 0
PARAM_VALUE 0 fc_usb->data_mutex.owner.counter 0
PARAM_VALUE 0 fc_usb->fc_dev 4096-ptr_max
PARAM_VALUE 0 fc_usb->fc_dev->bus_specific 4096-ptr_max
PARAM_VALUE 0 fc_usb->udev 4096-ptr_max
PARAM_VALUE 0 fc_usb->udev->actconfig 4096-ptr_max
PARAM_VALUE 0 fc_usb->udev->actconfig->desc.bNumInterfaces 1-255
PARAM_VALUE 0 fc_usb->udev->speed 2-3,5-6
PARAM_VALUE 0 fc_usb->udev->state 0-7,9-u32max
PARAM_VALUE 0 fc_usb->uintf 4096-ptr_max
PARAM_VALUE 0 fc_usb->uintf->authorized 1
PARAM_VALUE 0 fc_usb->uintf->condition 1
PARAM_VALUE 0 fc_usb->uintf->cur_altsetting->desc.bNumEndpoints 2-255
PARAM_VALUE 0 fc_usb->uintf->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 fc_usb->uintf->needs_altsetting0 0
PARAM_VALUE 0 fc_usb->uintf->needs_binding 0
PARAM_VALUE 0 *fc_usb->udev->toggle 0-4294967295
PARAM_VALUE 0 *fc_usb->udev->tt->hcpriv (-4611686018427387904)-4611686018427387903
BUF_SIZE 0 fc_usb 424,1536
BUF_SIZE 0 fc_usb 424,1536
BUF_SIZE 0 fc_usb->fc_dev 10432
CAPPED_DATA 0 fc_usb->udev 1
RX_PATH
TASK_NOT_RUNNING