Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-vdo/data-vio.c clean_hash_lock() -> perform_cleanup_stage()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->hash_lock | 0,4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->hash_zone | 4096-ptr_max |
| PARAM_VALUE | 1 | stage | 3 |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c complete_data_vio() -> perform_cleanup_stage()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->last_async_operation | 6 |
| PARAM_VALUE | 1 | stage | 0,3 |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| FUZZY_MAX | 1 | stage | 3 |
| HARD_MAX | 1 | stage | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c release_allocated_lock() -> perform_cleanup_stage()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->allocation.lock | 0 |
| PARAM_VALUE | 0 | data_vio->allocation.pbn | 0 |
| PARAM_VALUE | 0 | data_vio->allocation.zone | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->allocation.zone->allocator->depot->vdo->read_only_notifier.state | 1 |
| PARAM_VALUE | 1 | stage | 2 |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c release_logical_lock() -> perform_cleanup_stage()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->logical.zone | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->logical.zone->lbn_operations | 4096-ptr_max |
| PARAM_VALUE | 1 | stage | 4 |
| CAPPED_DATA | 0 | data_vio | 1 |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |