Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/drbd/drbd_state.c conn_highest_peer() -> max_role()

Type Parameter Key Value
PARAM_VALUE 0 role1 0-2
FUZZY_MAX 0 role1 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &adm_ctx->resource->adm_mutex

drivers/block/drbd/drbd_state.c conn_highest_role() -> max_role()

Type Parameter Key Value
PARAM_VALUE 0 role1 1-2
FUZZY_MAX 0 role1 2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &adm_ctx->resource->adm_mutex

drivers/block/drbd/drbd_state.c conn_set_state() -> max_role()

Type Parameter Key Value
PARAM_VALUE 1 role2 0-2
FUZZY_MAX 1 role2 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq
LOCK2 rcu_read
HALF_LOCKED2 &connection->cstate_mutex
HALF_LOCKED2 &connection->data.mutex
HALF_LOCKED2 &connection->resource->conf_update
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 conn_set_state() -> max_role()

Type Parameter Key Value
PARAM_VALUE 1 role2 0-2
FUZZY_MAX 1 role2 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq
LOCK2 rcu_read
HALF_LOCKED2 &connection->cstate_mutex
HALF_LOCKED2 &connection->data.mutex
HALF_LOCKED2 &connection->resource->conf_update
HALF_LOCKED2 &connection->resource->req_lock
HALF_LOCKED2 &device->resource->req_lock
HALF_LOCKED2 &resource->req_lock
TYPE_LOCK (struct drbd_resource)->req_lock