Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/block/drbd/drbd_state.c remember_old_state() -> conn_peer_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &resources_mutex
HALF_LOCKED2 irq

drivers/block/drbd/drbd_main.c _tl_restart() -> conn_peer_device()

Type Parameter Key Value
PARAM_VALUE 0 connection 4096-ptr_max
BUF_SIZE 0 connection (-1),128
BUF_SIZE 0 connection (-1),128
CAPPED_DATA 0 &connection->transfer_log 1
DATA_SOURCE 0 connection $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq
HALF_LOCKED2 &resource->req_lock
HALF_LOCKED2 0 &connection->resource->req_lock
TYPE_LOCK (struct drbd_resource)->req_lock

drivers/block/drbd/drbd_main.c tl_release() -> conn_peer_device()

Type Parameter Key Value
PARAM_VALUE 0 connection 4096-ptr_max
CAPPED_DATA 0 &connection->transfer_log 1
DATA_SOURCE 0 connection $0
PREEMPT_ADD <- disables preempt
LOCK2 irq
LOCK2 0 &connection->resource->req_lock
TYPE_LOCK (struct drbd_resource)->req_lock

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

Type Parameter Key Value
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

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

Type Parameter Key Value
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

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

Type Parameter Key Value
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

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

Type Parameter Key Value
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

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

Type Parameter Key Value
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

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

Type Parameter Key Value
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

drivers/block/drbd/drbd_receiver.c got_RqSReply() -> conn_peer_device()

Type Parameter Key Value
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

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

Type Parameter Key Value
PARAM_VALUE 0 connection 4096-ptr_max
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

drivers/block/drbd/drbd_receiver.c receive_DataReply() -> conn_peer_device()

Type Parameter Key Value
PARAM_VALUE 0 connection 4096-ptr_max
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

drivers/block/drbd/drbd_receiver.c receive_DataRequest() -> conn_peer_device()

Type Parameter Key Value
PARAM_VALUE 0 connection 4096-ptr_max
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

drivers/block/drbd/drbd_receiver.c receive_RSDataReply() -> conn_peer_device()

Type Parameter Key Value
PARAM_VALUE 0 connection 4096-ptr_max
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

drivers/block/drbd/drbd_receiver.c receive_SyncParam() -> conn_peer_device()

Type Parameter Key Value
PARAM_VALUE 0 connection 4096-ptr_max
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

drivers/block/drbd/drbd_receiver.c receive_bitmap() -> conn_peer_device()

Type Parameter Key Value
PARAM_VALUE 0 connection 4096-ptr_max
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

drivers/block/drbd/drbd_receiver.c receive_out_of_sync() -> conn_peer_device()

Type Parameter Key Value
PARAM_VALUE 0 connection 4096-ptr_max
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

drivers/block/drbd/drbd_receiver.c receive_req_state() -> conn_peer_device()

Type Parameter Key Value
PARAM_VALUE 0 connection 4096-ptr_max
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

drivers/block/drbd/drbd_receiver.c receive_rs_deallocated() -> conn_peer_device()

Type Parameter Key Value
PARAM_VALUE 0 connection 4096-ptr_max
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

drivers/block/drbd/drbd_receiver.c receive_sizes() -> conn_peer_device()

Type Parameter Key Value
PARAM_VALUE 0 connection 4096-ptr_max
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

drivers/block/drbd/drbd_receiver.c receive_state() -> conn_peer_device()

Type Parameter Key Value
PARAM_VALUE 0 connection 4096-ptr_max
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

drivers/block/drbd/drbd_receiver.c receive_sync_uuid() -> conn_peer_device()

Type Parameter Key Value
PARAM_VALUE 0 connection 4096-ptr_max
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0

drivers/block/drbd/drbd_receiver.c receive_uuids() -> conn_peer_device()

Type Parameter Key Value
PARAM_VALUE 0 connection 4096-ptr_max
PARAM_VALUE 1 volume_number 0-u16max
DATA_SOURCE 0 connection $0