Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/gadget/function/f_mass_storage.c do_write() -> start_out_transfer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 0 | common->bad_lun_okay | 0 |
| PARAM_VALUE | 0 | common->cmnd | 4096-ptr_max |
| PARAM_VALUE | 0 | common->cmnd_size | 0-s32max |
| PARAM_VALUE | 0 | common->curlun | 4096-ptr_max |
| PARAM_VALUE | 0 | common->curlun->file_length | (-9223372036854775807)-s64max |
| PARAM_VALUE | 0 | common->curlun->filp | 4096-ptr_max |
| PARAM_VALUE | 0 | common->curlun->filp->f_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | common->curlun->filp->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | common->curlun->info_valid | 0 |
| PARAM_VALUE | 0 | common->curlun->num_sectors | s64min-(-1),1-s64max |
| PARAM_VALUE | 0 | common->curlun->ro | 0 |
| PARAM_VALUE | 0 | common->curlun->sense_data | 0 |
| PARAM_VALUE | 0 | common->curlun->sense_data_info | 0 |
| PARAM_VALUE | 0 | common->filesem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | common->filesem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | common->filesem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | common->filesem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | common->filesem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | common->filesem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | common->filesem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | common->filesem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | common->io_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | common->io_wait.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | common->next_buffhd_to_fill | 4096-ptr_max |
| PARAM_VALUE | 0 | common->next_buffhd_to_fill->bulk_out_intended_length | 0-16384 |
| PARAM_VALUE | 0 | common->next_buffhd_to_fill->outreq | 4096-ptr_max |
| PARAM_VALUE | 0 | common->next_buffhd_to_fill->state | 0 |
| PARAM_VALUE | 0 | common->running | 1 |
| PARAM_VALUE | 0 | common->short_packet_received | 0 |
| PARAM_VALUE | 0 | common->state | 0 |
| PARAM_VALUE | 1 | bh | 4096-ptr_max |
| PARAM_VALUE | 1 | bh->bulk_out_intended_length | 0-16384 |
| PARAM_VALUE | 1 | bh->outreq | 4096-ptr_max |
| PARAM_VALUE | 1 | bh->outreq->length | 0-16384 |
| PARAM_VALUE | 1 | bh->state | 0 |
| BUF_SIZE | 0 | common | 128 |
| BUF_SIZE | 0 | common | 128 |
| CAPPED_DATA | 0 | common->cmnd_size | 1 |
| DATA_SOURCE | 0 | common | $0 |
| LOCK2 | 0 | &common->filesem | |
| TYPE_LOCK | (struct fsg_common)->filesem |
drivers/usb/gadget/function/f_mass_storage.c get_next_command() -> start_out_transfer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 0 | common->curlun->filp->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | common->filesem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | common->filesem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | common->io_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | common->io_wait.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | common->next_buffhd_to_fill | 4096-ptr_max |
| PARAM_VALUE | 0 | common->next_buffhd_to_fill->bulk_out_intended_length | 31 |
| PARAM_VALUE | 0 | common->next_buffhd_to_fill->outreq | 4096-ptr_max |
| PARAM_VALUE | 0 | common->next_buffhd_to_fill->state | 0-s32max |
| PARAM_VALUE | 0 | common->running | 1 |
| PARAM_VALUE | 0 | common->state | 0 |
| PARAM_VALUE | 1 | bh | 4096-ptr_max |
| PARAM_VALUE | 1 | bh->bulk_out_intended_length | 31 |
| PARAM_VALUE | 1 | bh->outreq | 4096-ptr_max |
| PARAM_VALUE | 1 | bh->outreq->length | 31 |
| PARAM_VALUE | 1 | bh->state | 0-s32max |
| BUF_SIZE | 0 | common | 128 |
| BUF_SIZE | 0 | common | 128 |
| DATA_SOURCE | 0 | common | $0 |
drivers/usb/gadget/function/f_mass_storage.c throw_away_data() -> start_out_transfer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 0 | common->cmnd_size | 0-s32max |
| PARAM_VALUE | 0 | common->curlun->filp->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | common->data_dir | 1 |
| PARAM_VALUE | 0 | common->filesem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | common->filesem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | common->filesem.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | common->filesem.first_waiter->list.prev | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | common->filesem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | common->io_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | common->io_wait.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | common->next_buffhd_to_drain->state | 0 |
| PARAM_VALUE | 0 | common->next_buffhd_to_fill | 4096-ptr_max |
| PARAM_VALUE | 0 | common->next_buffhd_to_fill->bulk_out_intended_length | 1-16384 |
| PARAM_VALUE | 0 | common->next_buffhd_to_fill->outreq | 4096-ptr_max |
| PARAM_VALUE | 0 | common->next_buffhd_to_fill->state | 0 |
| PARAM_VALUE | 0 | common->residue | 1-u32max |
| PARAM_VALUE | 0 | common->short_packet_received | 0 |
| PARAM_VALUE | 0 | common->state | 0 |
| PARAM_VALUE | 0 | common->usb_amount_left | 1-u32max |
| PARAM_VALUE | 1 | bh | 4096-ptr_max |
| PARAM_VALUE | 1 | bh->bulk_out_intended_length | 1-16384 |
| PARAM_VALUE | 1 | bh->outreq | 4096-ptr_max |
| PARAM_VALUE | 1 | bh->outreq->length | 1-16384 |
| PARAM_VALUE | 1 | bh->state | 0 |
| BUF_SIZE | 0 | common | 128 |
| BUF_SIZE | 0 | common | 128 |
| CAPPED_DATA | 0 | common->cmnd_size | 1 |
| DATA_SOURCE | 0 | common | $0 |