Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/drbd/drbd_receiver.c receive_Data() -> overlapping_resync_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->resource | 4096-ptr_max |
| PARAM_VALUE | 0 | device->resource->req_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | device->state.conn | 17 |
| PARAM_VALUE | 0 | device->state.disk | 1-15 |
| PARAM_VALUE | 1 | peer_req | 4096-ptr_max |
| PARAM_VALUE | 1 | peer_req->epoch | 4096-ptr_max |
| PARAM_VALUE | 1 | peer_req->flags | 0,2-u64max |
| PARAM_VALUE | 1 | peer_req->opf | 0-524287 |
| PARAM_VALUE | 1 | peer_req->w.cb | 9087348879068610560 |
| DATA_SOURCE | 1 | peer_req | r read_in_block |
drivers/block/drbd/drbd_receiver.c receive_Data() -> overlapping_resync_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->ee_wait.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | device->resource | 4096-ptr_max |
| PARAM_VALUE | 0 | device->resource->req_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | device->state.conn | 17 |
| PARAM_VALUE | 0 | device->state.disk | 1-15 |
| PARAM_VALUE | 1 | peer_req | 4096-ptr_max |
| PARAM_VALUE | 1 | peer_req->epoch | 4096-ptr_max |
| PARAM_VALUE | 1 | peer_req->flags | 0,2-u64max |
| PARAM_VALUE | 1 | peer_req->i.sector | 0-18446744073709551614 |
| PARAM_VALUE | 1 | peer_req->opf | 0-524287 |
| PARAM_VALUE | 1 | peer_req->w.cb | 9087348879068610560 |
| CAPPED_DATA | 1 | peer_req->i.sector | 1 |
| DATA_SOURCE | 1 | peer_req | r read_in_block |
| TASK_NOT_RUNNING |
drivers/block/drbd/drbd_receiver.c receive_Data() -> overlapping_resync_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->ee_wait.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | device->resource | 4096-ptr_max |
| PARAM_VALUE | 0 | device->resource->req_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | device->state.conn | 17 |
| PARAM_VALUE | 0 | device->state.disk | 1-15 |
| PARAM_VALUE | 1 | peer_req | 4096-ptr_max |
| PARAM_VALUE | 1 | peer_req->epoch | 4096-ptr_max |
| PARAM_VALUE | 1 | peer_req->flags | 0,2-u64max |
| PARAM_VALUE | 1 | peer_req->i.sector | 0-18446744073709551614 |
| PARAM_VALUE | 1 | peer_req->opf | 0-524287 |
| PARAM_VALUE | 1 | peer_req->w.cb | 9087348879068610560 |
| CAPPED_DATA | 1 | peer_req->i.sector | 1 |
| DATA_SOURCE | 1 | peer_req | r read_in_block |
| TASK_NOT_RUNNING |