Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/block/drbd/drbd_main.c drbd_send_block() -> drbd_csum_ee()

Type Parameter Key Value
PARAM_VALUE 0 tfm 1-u64max
PARAM_VALUE 1 peer_req 4096-ptr_max
PARAM_VALUE 1 peer_req->peer_device 4096-ptr_max
DATA_SOURCE 1 peer_req $2
NOCHECK_CALL
LOCK2 &sock->mutex
TYPE_LOCK (struct drbd_socket)->mutex

drivers/block/drbd/drbd_receiver.c drbd_csum_ee_size() -> drbd_csum_ee()

Type Parameter Key Value
PARAM_VALUE 0 tfm 1-u64max
PARAM_VALUE 1 peer_req 4096-ptr_max
PARAM_VALUE 1 peer_req->block_id 0
PARAM_VALUE 1 peer_req->digest 0
PARAM_VALUE 1 peer_req->flags 2048
PARAM_VALUE 1 peer_req->i.size 0-1048576
PARAM_VALUE 1 peer_req->pages 0,4096-ptr_max
PARAM_VALUE 1 peer_req->pages->private 0,4096-18446744073709547520
PARAM_VALUE 1 peer_req->peer_device 4096-ptr_max
PARAM_VALUE 1 peer_req->peer_device->device 4096-ptr_max
PARAM_VALUE 1 peer_req->w.list.next 1-u64max
PARAM_VALUE 1 peer_req->w.list.next->next 1-u64max
PARAM_VALUE 1 peer_req->w.list.prev 1-u64max
PARAM_VALUE 1 peer_req->w.list.prev->next 1-u64max
PARAM_VALUE 1 peer_req->w.list.prev->prev 1-u64max
BUF_SIZE 2 digest 1-s32max
BUF_SIZE 2 digest 1-s32max
DATA_SOURCE 0 tfm $0
DATA_SOURCE 1 peer_req $1
DATA_SOURCE 2 digest $2
NOCHECK_CALL

drivers/block/drbd/drbd_worker.c w_e_end_csum_rs_req() -> drbd_csum_ee()

Type Parameter Key Value
PARAM_VALUE 0 tfm 1-u64max
PARAM_VALUE 1 peer_req 4096-ptr_max
PARAM_VALUE 1 peer_req->digest 4096-ptr_max
PARAM_VALUE 1 peer_req->peer_device 4096-ptr_max
PARAM_VALUE 1 peer_req->peer_device->connection 4096-ptr_max
PARAM_VALUE 1 peer_req->peer_device->connection->csums_tfm 1-u64max
PARAM_VALUE 2 digest 16,4096-ptr_max
BUF_SIZE 2 digest 0-s32max,18446744071562067968-u64max
BUF_SIZE 2 digest 0-s32max,18446744071562067968-u64max
DATA_SOURCE 2 digest r _kmalloc_noprof
BIT_INFO 1 peer_req->flags 0x0,0xffffffffffffffdf
NOCHECK_CALL

drivers/block/drbd/drbd_worker.c w_e_end_ov_reply() -> drbd_csum_ee()

Type Parameter Key Value
PARAM_VALUE 1 peer_req 4096-ptr_max
PARAM_VALUE 1 peer_req->peer_device 4096-ptr_max
PARAM_VALUE 1 peer_req->peer_device->connection 4096-ptr_max
PARAM_VALUE 2 digest 16,4096-ptr_max
BUF_SIZE 2 digest 0-s32max,18446744071562067968-u64max
BUF_SIZE 2 digest 0-s32max,18446744071562067968-u64max
DATA_SOURCE 2 digest r _kmalloc_noprof
BIT_INFO 1 peer_req->flags 0x0,0xffffffffffffffdf
NOCHECK_CALL

drivers/block/drbd/drbd_worker.c w_e_end_ov_req() -> drbd_csum_ee()

Type Parameter Key Value
PARAM_VALUE 1 peer_req 4096-ptr_max
PARAM_VALUE 1 peer_req->peer_device 4096-ptr_max
PARAM_VALUE 1 peer_req->peer_device->connection 4096-ptr_max
PARAM_VALUE 2 digest 16,4096-ptr_max
BUF_SIZE 2 digest 0-s32max,18446744071562067968-u64max
BUF_SIZE 2 digest 0-s32max,18446744071562067968-u64max
DATA_SOURCE 2 digest r _kmalloc_noprof
BIT_INFO 1 peer_req->flags 0x0,0xffffffffffffffdf
NOCHECK_CALL

drivers/block/drbd/drbd_worker.c w_e_send_csum() -> drbd_csum_ee()

Type Parameter Key Value
PARAM_VALUE 1 peer_req 4096-ptr_max
PARAM_VALUE 1 peer_req->peer_device 4096-ptr_max
PARAM_VALUE 1 peer_req->peer_device->connection 4096-ptr_max
PARAM_VALUE 2 digest 16,4096-ptr_max
BUF_SIZE 2 digest 0-s32max,18446744071562067968-u64max
BUF_SIZE 2 digest 0-s32max,18446744071562067968-u64max
DATA_SOURCE 2 digest r _kmalloc_noprof
BIT_INFO 1 peer_req->flags 0x0,0xffffffffffffffdf
NOCHECK_CALL