Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 8 files as a member:
- drivers/ata/pata_parport/pata_parport.h, line 62 (as a member)
- drivers/mfd/stmpe.h, line 95 (as a member)
- drivers/s390/char/tape.h, line 152 (as a member)
- include/linux/hyperv.h, line 1746 (as a member)
- include/linux/rmi.h, line 282 (as a member)
- include/linux/w1.h, line 147 (as a member)
- include/pcmcia/cistpl.h, line 493 (as a member)
- tools/firewire/nosy-dump.h, line 133 (as a member)
Defined in 2 files as a macro:
- arch/x86/crypto/blowfish-x86_64-asm_64.S, line 98 (as a macro)
- tools/perf/tests/workloads/context_switch_loop.c, line 17 (as a macro)
Defined in 5 files as a function:
- drivers/char/nwflash.c, line 397 (as a function)
- drivers/md/bcache/btree.c, line 107 (as a function)
- drivers/md/dm-vdo/recovery-journal.c, line 1371 (as a function)
- drivers/media/dvb-frontends/cxd2099.c, line 155 (as a function)
- drivers/media/dvb-frontends/drxk_hard.c, line 398 (as a function)
Referenced in 43 files:
- arch/x86/crypto/blowfish-x86_64-asm_64.S
- drivers/ata/pata_parport/aten.c, line 134
- drivers/ata/pata_parport/bpck.c, line 494
- drivers/ata/pata_parport/bpck6.c, line 451
- drivers/ata/pata_parport/comm.c, line 195
- drivers/ata/pata_parport/dstr.c, line 225
- drivers/ata/pata_parport/epat.c, line 339
- drivers/ata/pata_parport/epia.c, line 300
- drivers/ata/pata_parport/fit2.c, line 127
- drivers/ata/pata_parport/fit3.c, line 178
- drivers/ata/pata_parport/friq.c, line 252
- drivers/ata/pata_parport/frpw.c, line 287
- drivers/ata/pata_parport/kbic.c
- drivers/ata/pata_parport/ktti.c, line 101
- drivers/ata/pata_parport/on20.c, line 137
- drivers/ata/pata_parport/on26.c, line 304
- drivers/ata/pata_parport/pata_parport.c, line 293
- drivers/char/nwflash.c, line 226
- drivers/hid/hid-rmi.c, line 587
- drivers/input/rmi4/rmi_bus.h
- drivers/input/rmi4/rmi_i2c.c, line 174
- drivers/input/rmi4/rmi_smbus.c, line 277
- drivers/input/rmi4/rmi_spi.c, line 325
- drivers/md/bcache/btree.c
- drivers/md/dm-vdo/recovery-journal.c
- drivers/media/dvb-frontends/cxd2099.c, line 582
- drivers/media/dvb-frontends/drxk_hard.c
- drivers/mfd/stmpe-i2c.c, line 53
- drivers/mfd/stmpe-spi.c, line 82
- drivers/mfd/stmpe.c, line 114
- drivers/misc/eeprom/idt_89hpesx.c, line 430
- drivers/mtd/maps/pcmciamtd.c, line 406
- drivers/net/ethernet/ti/icssm/icssm_prueth.c
- drivers/pci/controller/pci-hyperv-intf.c
- drivers/pci/controller/pci-hyperv.c
- drivers/pcmcia/cistpl.c, line 1216
- drivers/s390/char/tape_3490.c, line 767
- drivers/s390/char/tape_char.c, line 201
- drivers/thunderbolt/nvm.c
- drivers/w1/masters/ds2490.c, line 998
- drivers/w1/w1_io.c
- tools/firewire/decode-fcp.c
- tools/perf/tests/workloads/context_switch_loop.c
Smatch caller information:
drivers/md/dm-vdo/recovery-journal.c write_blocks() -> write_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 1 | address | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/dvb-frontends/drxk_hard.c download_microcode() -> write_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->drxk_i2c_exclusive_lock | 1 |
| PARAM_VALUE | 0 | state->fw | 4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c | 4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c->bus_lock.rtmutex.waiters.rb_leftmost->rb_right | 0 |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->pm.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->adev->powerplay.pp_handle->msg_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->mutex->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | state->i2c->dev.driver_data->mutex->wait_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | state->i2c->lock_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c->lock_ops->lock_bus | 4096-ptr_max |
| PARAM_VALUE | 0 | state->m_current_power_mode | 0 |
| PARAM_VALUE | 0 | state->m_device_spin | 0-2 |
| PARAM_VALUE | 0 | state->m_drxk_a3_patch_code | 1 |
| PARAM_VALUE | 0 | state->m_drxk_state | 0 |
| PARAM_VALUE | 0 | state->m_has_dvbt | 1 |
| PARAM_VALUE | 0 | state->m_has_irqn | 0 |
| PARAM_VALUE | 0 | state->m_has_lna | 0 |
| PARAM_VALUE | 0 | state->m_has_oob | 0 |
| PARAM_VALUE | 0 | state->m_has_sawsw | 1 |
| PARAM_VALUE | 0 | state->m_hi_cfg_bridge_delay | 903,905,1023,1159,1161,1279,16263,16265,16383 |
| PARAM_VALUE | 0 | state->m_hi_cfg_ctrl | 0-65527 |
| PARAM_VALUE | 0 | state->m_hi_cfg_timeout | 38655 |
| PARAM_VALUE | 0 | state->m_hi_cfg_wake_up_key | 0,2-510 |
| PARAM_VALUE | 0 | state->m_osc_clock_freq | 20250,27000 |
| PARAM_VALUE | 1 | address | 0-s32max |
| PARAM_VALUE | 3 | p_block | 4096-u64max |
| BUF_SIZE | 0 | state | 2816 |
| BUF_SIZE | 0 | state->frontend.demodulator_priv | (-1),2816 |
| BUF_SIZE | 0 | state->microcode_name | (-1),11 |
| DATA_SOURCE | 0 | state | $0 |
| PARAM_COMPARE | 3 | p_block | == $2 |
| BIT_INFO | 1 | address | 0x0,0xff |
| UNITS | 3 | p_block | unit_byte |
drivers/media/dvb-frontends/drxk_hard.c scu_command() -> write_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->m_drxk_state | 0-4,6-u32max |
| PARAM_VALUE | 0 | state->m_operation_mode | 1-4 |
| PARAM_VALUE | 0 | state->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | state->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | address | 8593401,8593403-8593405 |
| PARAM_VALUE | 2 | block_size | 2-s32max |
| PARAM_VALUE | 3 | p_block | 4096-ptr_max |
| BUF_SIZE | 0 | state | (-1),1264,1296,1304,1312,1320,1328,1336,1344,1352,1360,1368,1376,1408,1416,1424,1432,1464,1480,1512,1552,1608,1736,1888,1896,2000,2112,2816,3040,3648,3672,3688,3928,11416,11696,12920,14072,16824 |
| BUF_SIZE | 0 | state | (-1),1264,1296,1304,1312,1320,1328,1336,1344,1352,1360,1368,1376,1408,1416,1424,1432,1464,1480,1512,1552,1608,1736,1888,1896,2000,2112,2816,3040,3648,3672,3688,3928,11416,11696,12920,14072,16824 |
| BUF_SIZE | 0 | state->frontend.demodulator_priv | (-1),2816 |
| BUF_SIZE | 0 | state->microcode_name | (-1),11 |
| BUF_SIZE | 3 | p_block | 34 |
| CAPPED_DATA | 0 | &state->mutex | 1 |
| DATA_SOURCE | 0 | state | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &state->mutex | |
| TYPE_LOCK | (struct drxk_state)->mutex |
drivers/media/dvb-frontends/cxd2099.c write_data() -> write_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->lastaddress | 14 |
| PARAM_VALUE | 0 | state->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | state->lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | state->regmap | 4096-ptr_max |
| PARAM_VALUE | 0 | state->write_busy | 0 |
| PARAM_VALUE | 0 | *state->regs | 0-255 |
| PARAM_VALUE | 1 | address | 17 |
| BUF_SIZE | 0 | state | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | state | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | &state->lock | 1 |
| DATA_SOURCE | 2 | block_size | $2 |
| DATA_SOURCE | 3 | p_block | $3 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &state->lock | |
| TYPE_LOCK | (struct cxd)->lock |
drivers/md/bcache/btree.c bch_btree_init_next() -> write_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->c | 4096-ptr_max |
| PARAM_VALUE | 0 | state->c->cache | 4096-ptr_max |
| PARAM_VALUE | 0 | state->written | 0-65534 |
| BUF_SIZE | 0 | state | (-1),1120 |
| BUF_SIZE | 0 | state | (-1),1120 |
| CAPPED_DATA | 0 | state->keys.set | 1 |
| CAPPED_DATA | 0 | state->written | 1 |
| DATA_SOURCE | 0 | state | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | state->c->bio_meta.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->bio_split.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->bio_split.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->fill_iter.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->nr_uuids | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->search.min_nr | |
| HALF_LOCKED2 | &n1->io_mutex | ||
| HALF_LOCKED2 | 0 | state | |
| HALF_LOCKED2 | 0 | &state->io_mutex | |
| HALF_LOCKED2 | 0 | &state->write_lock |
drivers/md/bcache/btree.c bch_btree_insert_node() -> write_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| CAPPED_DATA | 0 | state->keys.page_order | 1 |
| CAPPED_DATA | 0 | &state->write_lock | 1 |
| DATA_SOURCE | 0 | state | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | state->c->bio_meta.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->bio_split.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->bio_split.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->fill_iter.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->nr_uuids | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->search.min_nr | |
| LOCK2 | 0 | &state->write_lock | |
| HALF_LOCKED2 | &n->io_mutex | ||
| HALF_LOCKED2 | 0 | state | |
| HALF_LOCKED2 | 0 | &state->io_mutex | |
| TYPE_LOCK | (struct btree)->write_lock |
drivers/md/bcache/btree.c bch_btree_insert_node() -> write_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->c | 4096-ptr_max |
| PARAM_VALUE | 0 | state->c->cache | 4096-ptr_max |
| CAPPED_DATA | 0 | state->keys.page_order | 1 |
| CAPPED_DATA | 0 | &state->write_lock | 1 |
| DATA_SOURCE | 0 | state | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | state->c->bio_meta.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->bio_split.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->bio_split.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->fill_iter.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->nr_uuids | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->search.min_nr | |
| LOCK2 | 0 | &state->write_lock | |
| HALF_LOCKED2 | &n->io_mutex | ||
| HALF_LOCKED2 | 0 | state | |
| HALF_LOCKED2 | 0 | &state->io_mutex | |
| TYPE_LOCK | (struct btree)->write_lock |
drivers/md/bcache/btree.c bch_btree_node_read_done() -> write_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->c | 4096-ptr_max |
| PARAM_VALUE | 0 | state->c->cache | 4096-ptr_max |
| PARAM_VALUE | 0 | state->keys.set | 4096-ptr_max |
| BUF_SIZE | 0 | state | (-1),1120 |
| BUF_SIZE | 0 | state | (-1),1120 |
| DATA_SOURCE | 0 | state | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | state->c->bio_meta.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->bio_split.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->bio_split.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->fill_iter.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->nr_uuids | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->search.min_nr | |
| HALF_LOCKED2 | &b->c->verify_lock | ||
| HALF_LOCKED2 | &b->io_mutex |
drivers/md/bcache/btree.c bch_btree_node_read_done() -> write_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->c | 4096-ptr_max |
| PARAM_VALUE | 0 | state->c->cache | 4096-ptr_max |
| BUF_SIZE | 0 | state | (-1),1120 |
| BUF_SIZE | 0 | state | (-1),1120 |
| DATA_SOURCE | 0 | state | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | state->c->bio_meta.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->bio_split.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->bio_split.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->fill_iter.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->nr_uuids | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->search.min_nr | |
| HALF_LOCKED2 | &b->c->verify_lock | ||
| HALF_LOCKED2 | &b->io_mutex |
drivers/md/bcache/btree.c bch_btree_node_read_done() -> write_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->c | 4096-ptr_max |
| PARAM_VALUE | 0 | state->c->cache | 4096-ptr_max |
| PARAM_VALUE | 0 | state->keys.set | 4096-ptr_max |
| PARAM_VALUE | 0 | state->keys.set->data | s64max |
| PARAM_VALUE | 0 | state->written | 0-65534 |
| BUF_SIZE | 0 | state | (-1),1120 |
| BUF_SIZE | 0 | state | (-1),1120 |
| CAPPED_DATA | 0 | state->keys.page_order | 1 |
| CAPPED_DATA | 0 | state->keys.set | 1 |
| CAPPED_DATA | 0 | state->written | 1 |
| DATA_SOURCE | 0 | state | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | state->c->bio_meta.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->bio_split.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->bio_split.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->fill_iter.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->nr_uuids | |
| NO_OVERFLOW_SIMPLE | 0 | state->c->search.min_nr | |
| HALF_LOCKED2 | &b->c->verify_lock | ||
| HALF_LOCKED2 | &b->io_mutex |
drivers/md/dm-vdo/wait-queue.c vdo_waitq_notify_next_waiter() -> vdo_waitq_notify_next_waiter param 1()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->next_waiter | 0 |
| BUF_SIZE | 1 | address | (-1),4,8-s32max |
| BUF_SIZE | 1 | address | (-1),4,8-s32max |
| CAPPED_DATA | 0 | state | 1 |
| DATA_SOURCE | 0 | state | r vdo_waitq_dequeue_waiter |
| DATA_SOURCE | 1 | address | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |