Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/storage/uas.c uas_disconnect() -> uas_free_streams()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->cmd_urbs.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 devinfo->data_urbs.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 devinfo->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 devinfo->qdepth s32min-65536
PARAM_VALUE 0 devinfo->resetting 1
PARAM_VALUE 0 devinfo->scan_work.lockdep_map->name 0-255
PARAM_VALUE 0 devinfo->sense_urbs.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 devinfo->work.lockdep_map->name 0-255
CAPPED_DATA 0 devinfo->qdepth 1
CAPPED_DATA 0 &devinfo->scan_work 1
CAPPED_DATA 0 &devinfo->work 1
PARAM_COMPARE 0 &devinfo->cmd_urbs.urb_list == $0->cmd_urbs.urb_list.next
PARAM_COMPARE 0 &devinfo->data_urbs.urb_list == $0->data_urbs.urb_list.next
PARAM_COMPARE 0 &devinfo->sense_urbs.urb_list == $0->sense_urbs.urb_list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/storage/uas.c uas_pre_reset() -> uas_free_streams()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 devinfo->qdepth s32min-65536
PARAM_VALUE 0 devinfo->shutdown 0
PARAM_VALUE 0 devinfo->work.lockdep_map->name 0-255
CAPPED_DATA 0 devinfo->qdepth 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &hdev->dev.mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &port_dev->status_lock
HALF_LOCKED2 &ud->sysfs_lock
HALF_LOCKED2 &udev->dev.mutex

drivers/usb/storage/uas.c uas_probe() -> uas_free_streams()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->cmd_pipe 0,1073741824-u32max
PARAM_VALUE 0 devinfo->cmd_urbs.poisoned 0
PARAM_VALUE 0 devinfo->cmd_urbs.wait.head.next 4096-ptr_max
PARAM_VALUE 0 devinfo->cmd_urbs.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->cmd_urbs.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 devinfo->cmd_urbs.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->cmd_urbs.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 devinfo->data_in_pipe 0,128-u32max
PARAM_VALUE 0 devinfo->data_out_pipe 0,1073741824-u32max
PARAM_VALUE 0 devinfo->data_urbs.poisoned 0
PARAM_VALUE 0 devinfo->data_urbs.wait.head.next 4096-ptr_max
PARAM_VALUE 0 devinfo->data_urbs.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->data_urbs.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 devinfo->data_urbs.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->data_urbs.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 devinfo->intf 4096-ptr_max
PARAM_VALUE 0 devinfo->intf->authorized 1
PARAM_VALUE 0 devinfo->intf->condition 1
PARAM_VALUE 0 devinfo->intf->cur_altsetting 4096-ptr_max
PARAM_VALUE 0 devinfo->intf->needs_altsetting0 0
PARAM_VALUE 0 devinfo->intf->needs_binding 0
PARAM_VALUE 0 devinfo->intf->num_altsetting 1-u32max
PARAM_VALUE 0 devinfo->qdepth 0-65536
PARAM_VALUE 0 devinfo->resetting 0
PARAM_VALUE 0 devinfo->sense_urbs.poisoned 0
PARAM_VALUE 0 devinfo->sense_urbs.wait.head.next 4096-ptr_max
PARAM_VALUE 0 devinfo->sense_urbs.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->sense_urbs.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 devinfo->sense_urbs.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->sense_urbs.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 devinfo->shutdown 0
PARAM_VALUE 0 devinfo->status_pipe 0,128-u32max
PARAM_VALUE 0 devinfo->udev 4096-ptr_max
PARAM_VALUE 0 devinfo->udev->actconfig 4096-ptr_max
PARAM_VALUE 0 devinfo->udev->bus 4096-ptr_max
PARAM_VALUE 0 devinfo->udev->state 0-7,9-u32max
CAPPED_DATA 0 devinfo->intf->cur_altsetting->desc.bNumEndpoints 1
CAPPED_DATA 0 devinfo->intf->num_altsetting 1
MEM_ZERO 0 &devinfo->cmd_urbs
MEM_ZERO 0 &devinfo->data_urbs
MEM_ZERO 0 &devinfo->sense_urbs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/storage/uas.c uas_shutdown() -> uas_free_streams()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->shutdown 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &parent->mutex
HALF_LOCKED2 global &system_transition_mutex
TYPE_LOCK (struct device)->mutex