Defined in 1 files as a prototype:
Defined in 1 files as a member:
Defined in 8 files as a function:
- drivers/md/dm-raid1.c, line 661 (as a function)
- drivers/mmc/host/cavium.c, line 334 (as a function)
- drivers/mtd/tests/stresstest.c, line 82 (as a function)
- drivers/s390/char/vmur.c, line 419 (as a function)
- drivers/usb/gadget/function/f_mass_storage.c, line 737 (as a function)
- tools/perf/util/header.c, line 172 (as a function)
- tools/testing/selftests/net/mptcp/mptcp_connect.c, line 462 (as a function)
- tools/testing/selftests/powerpc/mm/subpage_prot.c, line 60 (as a function)
Referenced in 19 files:
- drivers/ata/libata-sff.c
- drivers/infiniband/sw/rdmavt/qp.c
- drivers/md/dm-raid1.c, line 784
- drivers/mmc/core/mmc_test.c
- drivers/mmc/host/cavium.c, line 474
- drivers/mtd/tests/stresstest.c, line 124
- drivers/s390/char/vmur.c, line 461
- drivers/scsi/scsi_debug.c
- drivers/tty/n_tty.c
- drivers/usb/gadget/function/f_mass_storage.c
- sound/hda/codecs/generic.c
- sound/hda/codecs/sigmatel.c
- sound/pci/vx222/vx222_ops.c
- sound/pcmcia/vx/vxp_ops.c
- tools/perf/util/build-id.c, line 309
-
tools/perf/util/header.c
- line 185
- line 200
- line 213
- line 216
- line 234
- line 475
- line 479
- line 594
- line 598
- line 613
- line 621
- line 626
- line 637
- line 650
- line 670
- line 699
- line 708
- line 723
- line 727
- line 736
- line 747
- line 781
- line 800
- line 807
- line 811
- line 815
- line 857
- line 862
- line 893
- line 907
- line 911
- line 1027
- line 1041
- line 1048
- line 1055
- line 1062
- line 1076
- line 1111
- line 1126
- line 1144
- line 1173
- line 1186
- line 1362
- line 1366
- line 1374
- line 1411
- line 1426
- line 1431
- line 1589
- line 1593
- line 1597
- line 1605
- line 1629
- line 1633
- line 1637
- line 1641
- line 1645
- line 1654
- line 1714
- line 1849
- line 1854
- line 1862
- line 1866
- line 1871
- line 4366
- line 4455
- line 4476
- line 4524
- line 4551
- line 4593
- tools/testing/selftests/kvm/kvm_page_table_test.c
- tools/testing/selftests/net/mptcp/mptcp_connect.c, line 694
- tools/testing/selftests/powerpc/mm/subpage_prot.c, line 124
Smatch caller information:
drivers/usb/gadget/function/f_mass_storage.c do_scsi_command() -> do_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ms | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->bad_lun_okay | 0 |
| PARAM_VALUE | 0 | ms->cmnd | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->cmnd_size | 0-s32max |
| PARAM_VALUE | 0 | ms->curlun | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ms->curlun->filp->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ms->curlun->info_valid | 0 |
| PARAM_VALUE | 0 | ms->curlun->sense_data | 0 |
| PARAM_VALUE | 0 | ms->curlun->sense_data_info | 0 |
| PARAM_VALUE | 0 | ms->filesem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ms->filesem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ms->filesem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | ms->filesem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | ms->filesem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ms->filesem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ms->filesem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | ms->filesem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ms->io_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->io_wait.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->next_buffhd_to_drain | 1-u64max |
| PARAM_VALUE | 0 | ms->next_buffhd_to_fill | 1-u64max |
| PARAM_VALUE | 0 | ms->next_buffhd_to_fill->state | 0-s32max |
| PARAM_VALUE | 0 | ms->running | 1 |
| PARAM_VALUE | 0 | ms->short_packet_received | 0 |
| PARAM_VALUE | 0 | ms->state | 0 |
| BUF_SIZE | 0 | ms | 128 |
| BUF_SIZE | 0 | ms | 128 |
| CAPPED_DATA | 0 | ms->cmnd_size | 1 |
| CAPPED_DATA | 0 | &ms->filesem | 1 |
| DATA_SOURCE | 0 | ms | $0 |
| LOCK2 | 0 | &ms->filesem | |
| TYPE_LOCK | (struct fsg_common)->filesem |
drivers/usb/gadget/function/f_mass_storage.c do_scsi_command() -> do_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ms | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->bad_lun_okay | 0 |
| PARAM_VALUE | 0 | ms->cmnd | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->cmnd_size | 0-s32max |
| PARAM_VALUE | 0 | ms->curlun | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ms->curlun->filp->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ms->curlun->info_valid | 0 |
| PARAM_VALUE | 0 | ms->curlun->sense_data | 0 |
| PARAM_VALUE | 0 | ms->curlun->sense_data_info | 0 |
| PARAM_VALUE | 0 | ms->filesem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ms->filesem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ms->filesem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | ms->filesem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | ms->filesem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ms->filesem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ms->filesem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | ms->filesem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ms->io_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->io_wait.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->next_buffhd_to_drain | 1-u64max |
| PARAM_VALUE | 0 | ms->next_buffhd_to_fill | 1-u64max |
| PARAM_VALUE | 0 | ms->next_buffhd_to_fill->state | 0-s32max |
| PARAM_VALUE | 0 | ms->running | 1 |
| PARAM_VALUE | 0 | ms->short_packet_received | 0 |
| PARAM_VALUE | 0 | ms->state | 0 |
| BUF_SIZE | 0 | ms | 128 |
| BUF_SIZE | 0 | ms | 128 |
| CAPPED_DATA | 0 | ms->cmnd_size | 1 |
| CAPPED_DATA | 0 | &ms->filesem | 1 |
| DATA_SOURCE | 0 | ms | $0 |
| LOCK2 | 0 | &ms->filesem | |
| TYPE_LOCK | (struct fsg_common)->filesem |
drivers/usb/gadget/function/f_mass_storage.c do_scsi_command() -> do_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ms | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->bad_lun_okay | 0 |
| PARAM_VALUE | 0 | ms->cmnd | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->cmnd_size | 0-s32max |
| PARAM_VALUE | 0 | ms->curlun | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ms->curlun->filp->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ms->curlun->info_valid | 0 |
| PARAM_VALUE | 0 | ms->curlun->sense_data | 0 |
| PARAM_VALUE | 0 | ms->curlun->sense_data_info | 0 |
| PARAM_VALUE | 0 | ms->filesem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ms->filesem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ms->filesem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | ms->filesem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | ms->filesem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ms->filesem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ms->filesem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | ms->filesem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ms->io_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->io_wait.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->next_buffhd_to_drain | 1-u64max |
| PARAM_VALUE | 0 | ms->next_buffhd_to_fill | 1-u64max |
| PARAM_VALUE | 0 | ms->next_buffhd_to_fill->state | 0-s32max |
| PARAM_VALUE | 0 | ms->running | 1 |
| PARAM_VALUE | 0 | ms->short_packet_received | 0 |
| PARAM_VALUE | 0 | ms->state | 0 |
| BUF_SIZE | 0 | ms | 128 |
| BUF_SIZE | 0 | ms | 128 |
| CAPPED_DATA | 0 | ms->cmnd_size | 1 |
| CAPPED_DATA | 0 | &ms->filesem | 1 |
| DATA_SOURCE | 0 | ms | $0 |
| LOCK2 | 0 | &ms->filesem | |
| TYPE_LOCK | (struct fsg_common)->filesem |
drivers/usb/gadget/function/f_mass_storage.c do_scsi_command() -> do_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ms | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->bad_lun_okay | 0 |
| PARAM_VALUE | 0 | ms->cmnd | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->cmnd_size | 0-s32max |
| PARAM_VALUE | 0 | ms->curlun | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ms->curlun->filp->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ms->curlun->info_valid | 0 |
| PARAM_VALUE | 0 | ms->curlun->sense_data | 0 |
| PARAM_VALUE | 0 | ms->curlun->sense_data_info | 0 |
| PARAM_VALUE | 0 | ms->filesem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ms->filesem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ms->filesem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | ms->filesem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | ms->filesem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ms->filesem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ms->filesem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | ms->filesem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ms->io_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->io_wait.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->next_buffhd_to_drain | 1-u64max |
| PARAM_VALUE | 0 | ms->next_buffhd_to_fill | 1-u64max |
| PARAM_VALUE | 0 | ms->next_buffhd_to_fill->state | 0-s32max |
| PARAM_VALUE | 0 | ms->running | 1 |
| PARAM_VALUE | 0 | ms->short_packet_received | 0 |
| PARAM_VALUE | 0 | ms->state | 0 |
| BUF_SIZE | 0 | ms | 128 |
| BUF_SIZE | 0 | ms | 128 |
| CAPPED_DATA | 0 | ms->cmnd_size | 1 |
| CAPPED_DATA | 0 | &ms->filesem | 1 |
| DATA_SOURCE | 0 | ms | $0 |
| LOCK2 | 0 | &ms->filesem | |
| TYPE_LOCK | (struct fsg_common)->filesem |
drivers/mmc/host/cavium.c cvm_mmc_interrupt() -> do_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ms | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->data | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | &host->irq_handler_lock | ||
| HALF_LOCKED2 | flags |
drivers/mtd/tests/stresstest.c do_operation() -> do_write()
| Type | Parameter | Key | Value |
|---|
drivers/md/dm-raid1.c do_writes() -> do_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ms | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->failures.head | 0 |
| PARAM_VALUE | 0 | ms->failures.tail | 0 |
| PARAM_VALUE | 0 | ms->features | 1-u64max |
| PARAM_VALUE | 0 | ms->in_sync | 1 |
| PARAM_VALUE | 0 | ms->kcopyd_client->job_pool.curr_nr | s32min-s32max |
| PARAM_VALUE | 0 | ms->leg_failure | 0 |
| PARAM_VALUE | 0 | ms->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ms->reads.head | 0 |
| PARAM_VALUE | 0 | ms->reads.tail | 0 |
| PARAM_VALUE | 0 | ms->rh | 4096-ptr_max |
| PARAM_VALUE | 0 | ms->rh->hash_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ms->rh->hash_lock.owner | (-1) |
| PARAM_VALUE | 0 | ms->rh->hash_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ms->rh->hash_lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 0 | ms->rh->hash_lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 0 | ms->rh->log | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | ms->rh->log->context->flush_entry_pool.curr_nr | s32min-s32max |
| PARAM_VALUE | 0 | ms->rh->log->context->flush_failed | 1 |
| PARAM_VALUE | 0 | ms->rh->log->context->flush_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ms->rh->log->context->flush_log_work.cpu | s32min-s32max |
| PARAM_VALUE | 0 | ms->rh->log->context->flush_log_work.timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | ms->rh->log->context->io_req.bi_opf | 1,262145 |
| PARAM_VALUE | 0 | ms->rh->log->context->io_req.client->pool.curr_nr | s32min-s32max |
| PARAM_VALUE | 0 | ms->rh->log->context->log_dev_failed | 1 |
| PARAM_VALUE | 0 | ms->rh->log->context->log_dev_flush_failed | 1 |
| PARAM_VALUE | 0 | ms->rh->log->context->sched_flush.counter | 0-1 |
| PARAM_VALUE | 0 | ms->rh->log->context->touched_dirtied | 0-1 |
| PARAM_VALUE | 0 | ms->rh->log->type | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | ms->rh->log->type->flush | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | ms->rh->recovery_count.count | 0-4294967295 |
| PARAM_VALUE | 0 | ms->rh->recovery_count.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | ms->rh->recovery_count.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ms->rh->recovery_count.lock.owner | (-1) |
| PARAM_VALUE | 0 | ms->rh->recovery_count.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ms->rh->recovery_in_flight.counter | s32min-s32max |
| PARAM_VALUE | 0 | ms->rh->region_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ms->rh->region_pool.curr_nr | s32min-s32max |
| PARAM_VALUE | 0 | ms->ti->table->event_context->event_nr.counter | s32min-s32max |
| PARAM_VALUE | 0 | ms->ti->table->event_context->uevent_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ms->writes.head | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ms->writes.tail | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bio | 4096-ptr_max |
| PARAM_VALUE | 1 | bio->bi_next | 0 |
| DATA_SOURCE | 0 | ms | $0 |
| DATA_SOURCE | 1 | bio | r bio_list_pop |
| NOCHECK_CALL | |||
| UNITS | 1 | bio | unit_jiffy |
| HALF_LOCKED2 | &pool->lock |