Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/storage/usb.c usb_stor_probe1() -> get_device_info()

Type Parameter Key Value
PARAM_VALUE 0 us 4096-ptr_max
PARAM_VALUE 0 us->cmnd_ready.done 0
PARAM_VALUE 0 us->cmnd_ready.wait.lock.magic 3735899821
PARAM_VALUE 0 us->cmnd_ready.wait.lock.owner (-1)
PARAM_VALUE 0 us->cmnd_ready.wait.lock.owner_cpu u32max
PARAM_VALUE 0 us->cmnd_ready.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 us->cmnd_ready.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 us->cmnd_ready.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 us->cmnd_ready.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 us->cmnd_ready.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 us->cr 4096-ptr_max
PARAM_VALUE 0 us->delay_wait.head.next 4096-ptr_max
PARAM_VALUE 0 us->delay_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 us->delay_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 us->delay_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 us->delay_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 us->dev_mutex.dep_map->name 0-255
PARAM_VALUE 0 us->dev_mutex.first_waiter 0
PARAM_VALUE 0 us->dev_mutex.magic 4096-ptr_max
PARAM_VALUE 0 us->dev_mutex.osq.tail.counter 0
PARAM_VALUE 0 us->dev_mutex.owner.counter 0
PARAM_VALUE 0 us->iobuf 1-u64max
PARAM_VALUE 0 us->notify.done 0
PARAM_VALUE 0 us->notify.wait.lock.magic 3735899821
PARAM_VALUE 0 us->notify.wait.lock.owner (-1)
PARAM_VALUE 0 us->notify.wait.lock.owner_cpu u32max
PARAM_VALUE 0 us->notify.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 us->notify.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 us->notify.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 us->notify.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 us->notify.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 us->pusb_dev 4096-ptr_max
PARAM_VALUE 0 us->pusb_intf 4096-ptr_max
PARAM_VALUE 0 us->pusb_intf->authorized 1
PARAM_VALUE 0 us->pusb_intf->condition 1
PARAM_VALUE 0 us->pusb_intf->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 us->pusb_intf->dev.class 0,4096-ptr_max
PARAM_VALUE 0 us->pusb_intf->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 us->pusb_intf->needs_altsetting0 0
PARAM_VALUE 0 us->pusb_intf->needs_binding 0
PARAM_VALUE 1 id 4096-ptr_max
PARAM_VALUE 2 unusual_dev 4096-ptr_max
BUF_SIZE 1 id (-1),1696,11776
BUF_SIZE 1 id (-1),1696,11776
BUF_SIZE 2 unusual_dev (-1),32
BUF_SIZE 2 unusual_dev (-1),32
DATA_SOURCE 1 id $2
DATA_SOURCE 2 unusual_dev $3
TERMINATED 0 us->dev_mutex.dep_map.name 1
RX_PATH
TASK_NOT_RUNNING