Defined in 1 files as a function:
Referenced in 3 files:
- drivers/md/dm-vdo/block-map.c, line 1736
- drivers/md/dm-vdo/data-vio.c
- drivers/md/dm-vdo/data-vio.h, line 419
Smatch caller information:
drivers/md/dm-vdo/block-map.c finish_lookup() -> set_data_vio_logical_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->logical.zone | 4096-ptr_max |
| BUF_SIZE | 0 | data_vio | (-1),8-s32max |
| BUF_SIZE | 0 | data_vio | (-1),8-s32max |
| DATA_SOURCE | 0 | data_vio | $0 |
| STR_LEN | 0 | data_vio | (-1),4,10 |
| STR_LEN | 0 | data_vio | (-1),4,10 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/block-map.c launch_data_vio_logical_callback() -> set_data_vio_logical_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| DATA_SOURCE | 0 | data_vio | $0 |
| DATA_SOURCE | 1 | callback | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c continue_data_vio_with_block_map_slot() -> set_data_vio_logical_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->logical.zone | 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 increment_reference_count() -> set_data_vio_logical_callback()
| 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 journal_remapping() -> set_data_vio_logical_callback()
| 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 launch_data_vio() -> set_data_vio_logical_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->logical.zone | 4096-ptr_max |
| BUF_SIZE | 0 | data_vio->user_bio | (-1),144 |
| DATA_SOURCE | 0 | data_vio | $0 |
| NOSPEC | 0 | data_vio->remaining_discard | |
| NOSPEC | 0 | data_vio->user_bio->bi_iter.bi_sector | |
| NOSPEC | 0 | data_vio->user_bio->bi_iter.bi_size | |
| MEM_ZERO | 0 | data_vio->tree_lock.tree_slots | |
| MEM_ZERO | 0 | data_vio->tree_lock.waiters.last_waiter | |
| MEM_ZERO | 0 | &data_vio->allocation | |
| MEM_ZERO | 0 | &data_vio->duplicate | |
| MEM_ZERO | 0 | &data_vio->record_name | |
| MEM_ZERO | 0 | &data_vio->tree_lock | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | data_vio->is_partial | 1[c] |
| HOST_DATA | 0 | data_vio->remaining_discard | 0[c] |
| HOST_DATA | 0 | data_vio->user_bio->bi_iter.bi_sector | 0 |
| HOST_DATA | 0 | data_vio->user_bio->bi_iter.bi_size | 0[c] |
| HOST_DATA | 0 | data_vio->user_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| USER_DATA | 0 | data_vio->is_partial | 1[c] |
| USER_DATA | 0 | data_vio->remaining_discard | 0 |
| USER_DATA | 0 | data_vio->user_bio->bi_ioprio | 0-u16max |
| USER_DATA | 0 | data_vio->user_bio->bi_iter.bi_sector | 0 |
| USER_DATA | 0 | data_vio->user_bio->bi_iter.bi_size | 0 |
| USER_DATA | 0 | data_vio->user_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
drivers/md/dm-vdo/data-vio.c launch_data_vio_logical_callback() -> set_data_vio_logical_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| CAPPED_DATA | 0 | data_vio | 1 |
| DATA_SOURCE | 0 | data_vio | $0 |
| DATA_SOURCE | 1 | callback | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |