Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/drbd/drbd_receiver.c got_BlockAck() -> validate_req_change_req_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | peer_device | 4096-ptr_max |
| PARAM_VALUE | 0 | peer_device->connection | 4096-ptr_max |
| PARAM_VALUE | 0 | peer_device->device->peer_seq_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | id | 0-18446744073709551614 |
| PARAM_VALUE | 3 | root | 4096-ptr_max |
| PARAM_VALUE | 4 | func | 5864459779612966912 |
| PARAM_VALUE | 5 | what | 13-17 |
| PARAM_VALUE | 6 | missing_ok | 0 |
| BUF_SIZE | 4 | func | 13 |
| DATA_SOURCE | 0 | peer_device | r conn_peer_device |
| FUZZY_MAX | 5 | what | 17 |
| HARD_MAX | 5 | what | 17 |
| UNITS | 2 | sector | unit_byte |
drivers/block/drbd/drbd_receiver.c got_NegAck() -> validate_req_change_req_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | peer_device | 4096-ptr_max |
| PARAM_VALUE | 0 | peer_device->connection | 4096-ptr_max |
| PARAM_VALUE | 0 | peer_device->device->peer_seq_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | id | 0-18446744073709551614 |
| PARAM_VALUE | 3 | root | 4096-ptr_max |
| PARAM_VALUE | 4 | func | 3221125475347292160 |
| PARAM_VALUE | 5 | what | 18 |
| PARAM_VALUE | 6 | missing_ok | 1 |
| BUF_SIZE | 4 | func | 11 |
| DATA_SOURCE | 0 | peer_device | r conn_peer_device |
| UNITS | 2 | sector | unit_byte |
drivers/block/drbd/drbd_receiver.c got_NegDReply() -> validate_req_change_req_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | peer_device | 4096-ptr_max |
| PARAM_VALUE | 0 | peer_device->connection | 4096-ptr_max |
| PARAM_VALUE | 0 | peer_device->device | 4096-ptr_max |
| PARAM_VALUE | 0 | peer_device->device->peer_seq_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 3 | root | 4096-ptr_max |
| PARAM_VALUE | 4 | func | 1541667558030860288 |
| PARAM_VALUE | 5 | what | 18 |
| PARAM_VALUE | 6 | missing_ok | 0 |
| BUF_SIZE | 4 | func | 14 |
| DATA_SOURCE | 0 | peer_device | r conn_peer_device |
| UNITS | 2 | sector | unit_byte |