Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/b2c2/flexcop-usb.c flexcop_usb_disconnect() -> flexcop_usb_transfer_exit()

Type Parameter Key Value
BUF_SIZE 0 fc_usb s32min-(-2),1-s32max
BUF_SIZE 0 fc_usb s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 fc_usb unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 fc_usb 4096-ptr_max
PARAM_VALUE 0 fc_usb->buffer_size 0-32752
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->iso_buffer 1-u64max
PARAM_VALUE 0 fc_usb->iso_urb 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->bus 1-u64max
PARAM_VALUE 0 fc_usb->udev->bus->sysdev->iommu->attach_deferred 0-1
PARAM_VALUE 0 fc_usb->udev->dev.iommu->attach_deferred 0-1
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->cur_altsetting->endpoint 4096-ptr_max
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
BUF_SIZE 0 fc_usb 424,1536
BUF_SIZE 0 fc_usb 424,1536
BUF_SIZE 0 fc_usb->fc_dev 10432
BUF_SIZE 0 fc_usb->iso_buffer s32min-s32max
CAPPED_DATA 0 fc_usb->udev 1
DATA_SOURCE 0 fc_usb $0
MEM_ZERO 0 fc_usb->iso_buffer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL