Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-region-hash.c dm_rh_mark_nosync() -> complete_resync_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->state | 4 |
| PARAM_VALUE | 1 | success | 0 |
| BUF_SIZE | 0 | reg | (-1)-0,80 |
| BUF_SIZE | 0 | reg | (-1)-0,80 |
| CAPPED_DATA | 0 | ®->list | 1 |
| DATA_SOURCE | 0 | reg | r __rh_find |
| PARAM_COMPARE | 0 | ®->list | == $0->list.next |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/md/dm-region-hash.c dm_rh_update_states() -> complete_resync_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->rh->log->type->set_region_sync | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->rh->recovery_count.first_waiter->up | 0-1 |
| PARAM_VALUE | 1 | success | 1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/md/dm-region-hash.c dm_rh_update_states() -> complete_resync_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->rh->log->type->set_region_sync | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->rh->recovery_count.first_waiter->up | 0-1 |
| PARAM_VALUE | 1 | success | 0-1 |
| FUZZY_MAX | 1 | success | 1 |
| HARD_MAX | 1 | success | 1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |