Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/drbd/drbd_state.c _conn_request_state() -> remember_new_state()

Type Parameter Key Value
PARAM_VALUE 0 state_change 0,4096-ptr_max
PARAM_VALUE 0 state_change->connections 4096-ptr_max
PARAM_VALUE 0 state_change->devices 4096-ptr_max
PARAM_VALUE 0 state_change->peer_devices 4096-ptr_max
PARAM_VALUE 0 state_change->resource 4096-ptr_max
PARAM_VALUE 0 state_change->resource->resource 4096-ptr_max
BUF_SIZE 0 state_change (-1)-s32max
BUF_SIZE 0 state_change (-1)-s32max
DATA_SOURCE 0 state_change r remember_old_state
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 &connection->cstate_mutex
HALF_LOCKED2 &connection->resource->req_lock
HALF_LOCKED2 &device->resource->req_lock
HALF_LOCKED2 &resource->req_lock
TYPE_LOCK (struct drbd_resource)->req_lock

drivers/block/drbd/drbd_state.c _drbd_set_state() -> remember_new_state()

Type Parameter Key Value
PARAM_VALUE 0 state_change 0,4096-ptr_max
PARAM_VALUE 0 state_change->connections 4096-ptr_max
PARAM_VALUE 0 state_change->devices 4096-ptr_max
PARAM_VALUE 0 state_change->peer_devices 4096-ptr_max
PARAM_VALUE 0 state_change->resource 4096-ptr_max
PARAM_VALUE 0 state_change->resource->resource 4096-ptr_max
BUF_SIZE 0 state_change (-1)-s32max
BUF_SIZE 0 state_change (-1)-s32max
DATA_SOURCE 0 state_change r remember_old_state
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