Open Menu /

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_state.c _drbd_set_state() -> drbd_rs_controller_reset()

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->device 4096-ptr_max
PARAM_VALUE 0 peer_device->device->bitmap 0-1
PARAM_VALUE 0 peer_device->device->ov_start_sector 0,8-18446744073709551600,18446744073709551608,u64max
DATA_SOURCE 0 peer_device r first_peer_device
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &adm_ctx->resource->adm_mutex
HALF_LOCKED2 &device->resource->req_lock
HALF_LOCKED2 &device->resource->req_lock
HALF_LOCKED2 &resource->req_lock
HALF_LOCKED2 device->state_mutex
HALF_LOCKED2 flags
HALF_LOCKED2 global &resources_mutex
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read

drivers/block/drbd/drbd_worker.c drbd_start_resync() -> drbd_rs_controller_reset()

Type Parameter Key Value
PARAM_VALUE 0 peer_device 4096-ptr_max
DATA_SOURCE 0 peer_device r first_peer_device
NOCHECK_CALL
LOCK2 device->state_mutex