Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-vdo/data-vio.c acknowledge_write_callback() -> acknowledge_data_vio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c attempt_logical_block_lock() -> acknowledge_data_vio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->logical.lbn | 0-18446744073709551614 |
| PARAM_VALUE | 0 | data_vio->logical.zone | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->user_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->vio.completion.vdo->states.vdo.config.logical_blocks | 1-u64max |
| PARAM_VALUE | 0 | data_vio->write | 0 |
| CAPPED_DATA | 0 | data_vio->logical.lbn | 1 |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c complete_read() -> acknowledge_data_vio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->mapped.state | 0-15,2147483648-u32max |
| PARAM_VALUE | 0 | data_vio->write | 0 |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c process_release_callback() -> acknowledge_data_vio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |