Defined in 2 files as a member:

Defined in 1 files as a function:

Referenced in 45 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 n_devices 4123971753771089920
PARAM_VALUE 2 n_connections 4974966258657558528
DATA_SOURCE 0 resource $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &resources_mutex
HALF_LOCKED2 irq
HALF_LOCKED2 0 &resource->conf_update
HALF_LOCKED2 0 &resource->req_lock