Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/drbd/drbd_receiver.c got_BlockAck() -> update_peer_seq()

Type Parameter Key Value
PARAM_VALUE 0 peer_device 4096-ptr_max
DATA_SOURCE 0 peer_device r conn_peer_device
NOCHECK_CALL

drivers/block/drbd/drbd_receiver.c got_IsInSync() -> update_peer_seq()

Type Parameter Key Value
PARAM_VALUE 0 peer_device 4096-ptr_max
PARAM_VALUE 0 peer_device->connection 4096-ptr_max
DATA_SOURCE 0 peer_device r conn_peer_device
NOCHECK_CALL

drivers/block/drbd/drbd_receiver.c got_NegAck() -> update_peer_seq()

Type Parameter Key Value
PARAM_VALUE 0 peer_device 4096-ptr_max
DATA_SOURCE 0 peer_device r conn_peer_device
NOCHECK_CALL

drivers/block/drbd/drbd_receiver.c got_NegDReply() -> update_peer_seq()

Type Parameter Key Value
PARAM_VALUE 0 peer_device 4096-ptr_max
DATA_SOURCE 0 peer_device r conn_peer_device
NOCHECK_CALL

drivers/block/drbd/drbd_receiver.c got_NegRSDReply() -> update_peer_seq()

Type Parameter Key Value
PARAM_VALUE 0 peer_device 4096-ptr_max
DATA_SOURCE 0 peer_device r conn_peer_device
NOCHECK_CALL

drivers/block/drbd/drbd_receiver.c got_OVResult() -> update_peer_seq()

Type Parameter Key Value
PARAM_VALUE 0 peer_device 4096-ptr_max
DATA_SOURCE 0 peer_device r conn_peer_device
NOCHECK_CALL

drivers/block/drbd/drbd_receiver.c receive_Data() -> update_peer_seq()

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
DATA_SOURCE 0 peer_device r conn_peer_device
NOCHECK_CALL