Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/block/drbd/drbd_receiver.c e_end_block() -> drbd_send_ack()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | peer_device | 4096-ptr_max |
| PARAM_VALUE | 0 | peer_device->device | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 22-23 |
| PARAM_VALUE | 2 | peer_req | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_req->peer_device | 4096-ptr_max |
| BIT_INFO | 1 | cmd | 0x16,0x17 |
| BIT_INFO | 2 | peer_req->flags | 0x100,0xffffffffffffffdf |
drivers/block/drbd/drbd_receiver.c e_end_block() -> drbd_send_ack()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | peer_device | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 25 |
| PARAM_VALUE | 2 | peer_req | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_req->peer_device | 4096-ptr_max |
| BIT_INFO | 2 | peer_req->flags | 0x120,0xffffffffffffffff |
drivers/block/drbd/drbd_receiver.c e_end_resync_block() -> drbd_send_ack()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | peer_device | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 23 |
| PARAM_VALUE | 2 | peer_req | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_req->peer_device | 4096-ptr_max |
| BIT_INFO | 2 | peer_req->flags | 0x0,0xffffffffffffffdf |
drivers/block/drbd/drbd_receiver.c e_end_resync_block() -> drbd_send_ack()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | peer_device | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 25 |
| PARAM_VALUE | 2 | peer_req | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_req->peer_device | 4096-ptr_max |
| BIT_INFO | 2 | peer_req->flags | 0x20,0xffffffffffffffff |
drivers/block/drbd/drbd_receiver.c e_send_ack() -> drbd_send_ack()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | cmd | 24,44 |
| PARAM_VALUE | 2 | peer_req | 4096-ptr_max |
| DATA_SOURCE | 1 | cmd | $1 |
| FUZZY_MAX | 1 | cmd | 44 |
| BIT_INFO | 1 | cmd | 0x8,0x3c |
| HARD_MAX | 1 | cmd | 44 |
drivers/block/drbd/drbd_receiver.c receive_Data() -> drbd_send_ack()
| 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->connection->net_conf | 4096-ptr_max |
| PARAM_VALUE | 0 | peer_device->device | 4096-ptr_max |
| PARAM_VALUE | 0 | peer_device->device->state.disk | 1-15 |
| PARAM_VALUE | 0 | peer_device->device->vdisk | 4096-ptr_max |
| PARAM_VALUE | 0 | peer_device->device->vdisk->part0 | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 21 |
| PARAM_VALUE | 2 | peer_req | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_req->epoch | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_req->flags | 0,2-u64max |
| PARAM_VALUE | 2 | peer_req->opf | 0-524287 |
| PARAM_VALUE | 2 | peer_req->w.cb | 9087348879068610560 |
| DATA_SOURCE | 0 | peer_device | r conn_peer_device |
| DATA_SOURCE | 2 | peer_req | r read_in_block |
| BIT_INFO | 2 | peer_req->flags | 0x4000,0xffffffffffffffff |
| NOCHECK_CALL |
drivers/block/drbd/drbd_worker.c w_e_end_csum_rs_req() -> drbd_send_ack()
| 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->connection->csums_tfm | 1-u64max |
| PARAM_VALUE | 0 | peer_device->device | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 34 |
| PARAM_VALUE | 2 | peer_req | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_req->digest | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_req->peer_device | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_req->peer_device->connection | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_req->peer_device->connection->csums_tfm | 1-u64max |
| BIT_INFO | 2 | peer_req->flags | 0x0,0xffffffffffffffdf |
drivers/block/drbd/drbd_worker.c w_e_end_csum_rs_req() -> drbd_send_ack()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | peer_device | 4096-ptr_max |
| PARAM_VALUE | 0 | peer_device->device | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 27 |
| PARAM_VALUE | 2 | peer_req | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_req->peer_device | 4096-ptr_max |
| BIT_INFO | 2 | peer_req->flags | 0x20,0xffffffffffffffff |
drivers/block/drbd/drbd_worker.c w_e_end_data_req() -> drbd_send_ack()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | peer_device | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 26 |
| PARAM_VALUE | 2 | peer_req | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_req->peer_device | 4096-ptr_max |
| BIT_INFO | 2 | peer_req->flags | 0x20,0xffffffffffffffff |
drivers/block/drbd/drbd_worker.c w_e_end_rsdata_req() -> drbd_send_ack()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | peer_device | 4096-ptr_max |
| PARAM_VALUE | 0 | peer_device->device | 4096-ptr_max |
| PARAM_VALUE | 0 | peer_device->device->state.conn | 22 |
| PARAM_VALUE | 1 | cmd | 41 |
| PARAM_VALUE | 2 | peer_req | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_req->peer_device | 4096-ptr_max |
drivers/block/drbd/drbd_worker.c w_e_end_rsdata_req() -> drbd_send_ack()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | peer_device | 4096-ptr_max |
| PARAM_VALUE | 0 | peer_device->device | 4096-ptr_max |
| PARAM_VALUE | 0 | peer_device->device->state.conn | 0-21,23-31 |
| PARAM_VALUE | 1 | cmd | 27 |
| PARAM_VALUE | 2 | peer_req | 4096-ptr_max |
| PARAM_VALUE | 2 | peer_req->peer_device | 4096-ptr_max |
| BIT_INFO | 2 | peer_req->flags | 0x20,0xffffffffffffffff |