Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/drbd/drbd_nl.c drbd_nl_get_peer_devices_dumpit() -> peer_device_to_statistics()

Type Parameter Key Value
PARAM_VALUE 0 s 3528150295090229248
PARAM_VALUE 1 peer_device 4096-ptr_max
PARAM_VALUE 1 peer_device->connection 4096-ptr_max
PARAM_VALUE 1 peer_device->connection->net_conf 0-1
PARAM_VALUE 1 peer_device->device 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

drivers/block/drbd/drbd_nl.c notify_peer_device_state() -> peer_device_to_statistics()

Type Parameter Key Value
PARAM_VALUE 0 s 1633895867850354688
PARAM_VALUE 1 peer_device 4096-ptr_max
PARAM_VALUE 1 peer_device->connection 0,4096-ptr_max
PARAM_VALUE 1 peer_device->device 4096-ptr_max
DATA_SOURCE 1 peer_device $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &adm_ctx->resource->adm_mutex
HALF_LOCKED2 &adm_ctx->resource->conf_update
HALF_LOCKED2 global &notification_mutex