Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mmc/host/vub300.c __command_read_data() -> vub300_usb_bulk_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vub300 | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->command_complete.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->data | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->interface | 1-u64max |
| PARAM_VALUE | 0 | vub300->mmc | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->mmc->card->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->mmc->card->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->mmc->card->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->resp_len | 0,6,17 |
| PARAM_VALUE | 0 | vub300->udev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->udev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->udev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->udev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->vub_name | 4096-ptr_max |
| PARAM_VALUE | 0 | *vub300->vub_name | 0-255 |
| PARAM_VALUE | 1 | pipe | 0,128-u32max |
| PARAM_VALUE | 2 | data | 16,4096-ptr_max |
| PARAM_VALUE | 3 | len | 0,64-4000000 |
| PARAM_VALUE | 4 | actual_length | 3107213538364592128 |
| PARAM_VALUE | 4 | *actual_length | 0 |
| PARAM_VALUE | 5 | timeout_msecs | 2000-2244 |
| BUF_SIZE | 2 | data | 0,64-2147483584 |
| DATA_SOURCE | 0 | vub300 | $0 |
| DATA_SOURCE | 2 | data | r _kmalloc_noprof |
| BIT_INFO | 1 | pipe | 0xc0000080,0xffffffff |
| BIT_INFO | 3 | len | 0x0,0x3fffc0 |
| NO_OVERFLOW_SIMPLE | 0 | vub300->command_out_urb->num_mapped_sgs | |
| NO_OVERFLOW_SIMPLE | 0 | vub300->command_out_urb->transfer_buffer_length | |
| BYTE_COUNT | 2 | ==data3 | 8050 |
| LOCK2 | 0 | &vub300->cmd_mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct vub300_mmc_host)->cmd_mutex |
drivers/mmc/host/vub300.c __command_write_data() -> vub300_usb_bulk_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vub300 | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->command_complete.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->data | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->datasize | 0-63,2147483648-u32max |
| PARAM_VALUE | 0 | vub300->interface | 1-u64max |
| PARAM_VALUE | 0 | vub300->mmc | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->mmc->card->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->mmc->card->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->mmc->card->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->resp_len | 0,6,17 |
| PARAM_VALUE | 0 | vub300->udev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->udev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->udev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->udev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->vub_name | 4096-ptr_max |
| PARAM_VALUE | 0 | *vub300->vub_name | 0-255 |
| PARAM_VALUE | 1 | pipe | 0,1073741824-u32max |
| PARAM_VALUE | 3 | len | 64 |
| PARAM_VALUE | 4 | actual_length | 3186105530039721984 |
| PARAM_VALUE | 5 | timeout_msecs | 2000 |
| BUF_SIZE | 2 | data | 64 |
| DATA_SOURCE | 0 | vub300 | $0 |
| BIT_INFO | 1 | pipe | 0xc0000000,0xffffffff |
| NO_OVERFLOW_SIMPLE | 0 | vub300->command_out_urb->num_mapped_sgs | |
| NO_OVERFLOW_SIMPLE | 0 | vub300->command_out_urb->transfer_buffer_length | |
| UNITS | 3 | len | unit_byte |
| LOCK2 | 0 | &vub300->cmd_mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct vub300_mmc_host)->cmd_mutex |
drivers/mmc/host/vub300.c __command_write_data() -> vub300_usb_bulk_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vub300 | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->cmd_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | vub300->command_complete.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->command_complete.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->data | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->datasize | 64-s32max |
| PARAM_VALUE | 0 | vub300->interface | 1-u64max |
| PARAM_VALUE | 0 | vub300->mmc | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->mmc->card->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->mmc->card->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->mmc->card->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->resp_len | 0,6,17 |
| PARAM_VALUE | 0 | vub300->udev | 4096-ptr_max |
| PARAM_VALUE | 0 | vub300->udev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->udev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->udev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vub300->vub_name | 4096-ptr_max |
| PARAM_VALUE | 0 | *vub300->vub_name | 0-255 |
| PARAM_VALUE | 1 | pipe | 0,1073741824-u32max |
| PARAM_VALUE | 2 | data | 16,4096-ptr_max |
| PARAM_VALUE | 3 | len | 0,64-4000000 |
| PARAM_VALUE | 4 | actual_length | 3186105530039721984 |
| PARAM_VALUE | 5 | timeout_msecs | 2000-2244 |
| BUF_SIZE | 2 | data | 0,64-2147483584 |
| CAPPED_DATA | 3 | len | 1 |
| CAPPED_DATA | 5 | timeout_msecs | 1 |
| DATA_SOURCE | 0 | vub300 | $0 |
| DATA_SOURCE | 2 | data | r _kmalloc_noprof |
| BIT_INFO | 1 | pipe | 0xc0000000,0xffffffff |
| BIT_INFO | 3 | len | 0x0,0x3fffc0 |
| NO_OVERFLOW_SIMPLE | 0 | vub300->command_out_urb->num_mapped_sgs | |
| NO_OVERFLOW_SIMPLE | 0 | vub300->command_out_urb->transfer_buffer_length | |
| LOCK2 | 0 | &vub300->cmd_mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct vub300_mmc_host)->cmd_mutex |