Documented in 1 files:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/md/dm-vdo/dedupe.c uncompress_and_verify() -> launch_data_vio_hash_zone_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->is_duplicate | 0 |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/dedupe.c unlock_duplicate_pbn() -> launch_data_vio_hash_zone_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->duplicate.zone | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->hash_lock | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->hash_lock->duplicate_lock | 0 |
| PARAM_VALUE | 0 | data_vio->hash_lock->state | 0-7,9-u32max |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/dedupe.c verify_callback() -> launch_data_vio_hash_zone_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->scratch_block | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->vio.data | 4096-ptr_max |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/dedupe.c verify_endio() -> launch_data_vio_hash_zone_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->is_duplicate | 0 |
| DATA_SOURCE | 0 | data_vio | r vio_as_data_vio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c hash_data_vio() -> launch_data_vio_hash_zone_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->hash_zone | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->last_async_operation | 2 |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c perform_cleanup_stage() -> launch_data_vio_hash_zone_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->hash_lock | 1-u64max |
| PARAM_VALUE | 0 | data_vio->last_async_operation | 6 |
| PARAM_VALUE | 0 | data_vio->logical.zone->notification_generation | 33-u64max |
| CAPPED_DATA | 0 | data_vio | 1 |
| DATA_SOURCE | 0 | data_vio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |