Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/gadget/function/f_mass_storage.c finish_reply() -> __fsg_is_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 0 | common->can_stall | 1 |
| 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 | 0 |
| 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 | 1-u64max |
| PARAM_VALUE | 0 | common->next_buffhd_to_fill->state | 0-s32max |
| PARAM_VALUE | 0 | common->state | 0 |
| PARAM_VALUE | 1 | func | 4114478360066871296 |
| PARAM_VALUE | 2 | line | 1579 |
| BUF_SIZE | 0 | common | 128 |
| BUF_SIZE | 0 | common | 128 |
| BUF_SIZE | 1 | func | 13 |
| CAPPED_DATA | 0 | common->cmnd_size | 1 |
| DATA_SOURCE | 0 | common | $0 |
drivers/usb/gadget/function/f_mass_storage.c finish_reply() -> __fsg_is_set()
| 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 | 2 |
| PARAM_VALUE | 0 | common->data_size | 1-u32max |
| 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 | 1-u64max |
| PARAM_VALUE | 0 | common->next_buffhd_to_fill->state | 0-s32max |
| PARAM_VALUE | 0 | common->state | 0 |
| PARAM_VALUE | 1 | func | 4114478360066871296 |
| PARAM_VALUE | 2 | line | 1594 |
| BUF_SIZE | 0 | common | 128 |
| BUF_SIZE | 0 | common | 128 |
| BUF_SIZE | 1 | func | 13 |
| CAPPED_DATA | 0 | common->cmnd_size | 1 |
| DATA_SOURCE | 0 | common | $0 |
drivers/usb/gadget/function/f_mass_storage.c fsg_setup() -> __fsg_is_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | func | 3027006877677760512 |
| PARAM_VALUE | 2 | line | 466 |
| BUF_SIZE | 1 | func | 10 |
drivers/usb/gadget/function/f_mass_storage.c get_next_command() -> __fsg_is_set()
| 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->fsg | 4096-ptr_max |
| 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->outreq->status | s32min-(-1) |
| PARAM_VALUE | 0 | common->next_buffhd_to_fill->state | 1 |
| PARAM_VALUE | 0 | common->running | 1 |
| PARAM_VALUE | 0 | common->state | 0 |
| PARAM_VALUE | 1 | func | 2940211805563252736 |
| PARAM_VALUE | 2 | line | 2289 |
| BUF_SIZE | 0 | common | 128 |
| BUF_SIZE | 0 | common | 128 |
| BUF_SIZE | 1 | func | 17 |
| DATA_SOURCE | 0 | common | $0 |
drivers/usb/gadget/function/f_mass_storage.c handle_exception() -> __fsg_is_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 0 | common->buffhds | 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->fsg | 0,4096-ptr_max |
| PARAM_VALUE | 0 | common->fsg_num_buffers | 0-s32max |
| PARAM_VALUE | 0 | common->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | common->luns | 4096-ptr_max |
| PARAM_VALUE | 0 | common->next_buffhd_to_drain | 4096-ptr_max |
| PARAM_VALUE | 0 | common->next_buffhd_to_fill | 4096-ptr_max |
| PARAM_VALUE | 0 | common->state | 0 |
| PARAM_VALUE | 1 | func | 608894731090952192 |
| PARAM_VALUE | 2 | line | 2527 |
| BUF_SIZE | 0 | common | 128 |
| BUF_SIZE | 0 | common | 128 |
| BUF_SIZE | 1 | func | 17 |
| CAPPED_DATA | 0 | common->fsg_num_buffers | 1 |
| DATA_SOURCE | 0 | common | $0 |
drivers/usb/gadget/function/f_mass_storage.c start_in_transfer() -> __fsg_is_set()
| 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->next_buffhd_to_fill | 4096-ptr_max |
| PARAM_VALUE | 0 | common->next_buffhd_to_fill->inreq | 4096-ptr_max |
| PARAM_VALUE | 0 | common->next_buffhd_to_fill->state | 0-s32max |
| PARAM_VALUE | 0 | common->state | 0 |
| PARAM_VALUE | 1 | func | 528758023088996352 |
| PARAM_VALUE | 2 | line | 550 |
| BUF_SIZE | 0 | common | 128 |
| BUF_SIZE | 0 | common | 128 |
| BUF_SIZE | 1 | func | 18 |
| DATA_SOURCE | 0 | common | $0 |
| HALF_LOCKED2 | 0 | &common->filesem |
drivers/usb/gadget/function/f_mass_storage.c start_out_transfer() -> __fsg_is_set()
| 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 | 0-16384 |
| 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->state | 0 |
| PARAM_VALUE | 1 | func | 6252576111161368576 |
| PARAM_VALUE | 2 | line | 568 |
| BUF_SIZE | 0 | common | 128 |
| BUF_SIZE | 0 | common | 128 |
| BUF_SIZE | 1 | func | 19 |
| DATA_SOURCE | 0 | common | $0 |
| HALF_LOCKED2 | 0 | &common->filesem |