Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/drbd/drbd_state.c _conn_request_state() -> is_valid_conn_transition()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | irq | ||
| 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 is_valid_transition() -> is_valid_conn_transition()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &device->resource->req_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | rcu_read |