Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/md/dm-vdo/packer.c write_bin() -> vdo_submit_data_vio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->compression.bin | 0 |
| PARAM_VALUE | 0 | data_vio->compression.next_in_batch->compression.block | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->compression.slot | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->vio.bio->__bi_cnt.counter | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->__bi_nr_segments | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->__bi_remaining.counter | 1 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_bdev->bd_disk->queue->blkg_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_bdev->bd_disk->queue->blkg_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_bdev->bd_queue | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_bdev->bd_queue->queue_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_blkg | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_bvec_gap_bit | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_cookie | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_crypt_context | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_end_io | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_flags | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_integrity | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_iocost_cost | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_ioprio | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_iter.bi_bvec_done | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_iter.bi_idx | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_next | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_pool | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_status | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_write_hint | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_write_stream | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->issue_time_ns | 0 |
| PARAM_VALUE | 0 | data_vio->vio.completion.error_handler | 5439583924607545344 |
| PARAM_VALUE | 0 | data_vio->vio.completion.vdo | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->vio.completion.vdo->device_config | 4096-ptr_max |
| PARAM_VALUE | 0 | *data_vio->compression->block->header.sizes | 0-u16max |
| DATA_SOURCE | 0 | data_vio | r remove_from_bin |
| MEM_ZERO | 0 | data_vio->vio.bio | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c read_block() -> vdo_submit_data_vio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->last_async_operation | 15 |
| PARAM_VALUE | 0 | data_vio->mapped.pbn | 1-u64max |
| PARAM_VALUE | 0 | data_vio->user_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->user_bio->bi_crypt_context | 0-1,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 write_data_vio() -> vdo_submit_data_vio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->allocation.pbn | 1-u64max |
| PARAM_VALUE | 0 | data_vio->compression.status.counter | 0-s32max |
| PARAM_VALUE | 0 | data_vio->last_async_operation | 19 |
| PARAM_VALUE | 0 | data_vio->vio.bio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->vio.bio->__bi_cnt.counter | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->__bi_nr_segments | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->__bi_remaining.counter | 1 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_bdev->bd_disk->queue->blkg_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_bdev->bd_disk->queue->blkg_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_bdev->bd_queue | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_bdev->bd_queue->queue_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_blkg | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_bvec_gap_bit | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_cookie | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_crypt_context | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_end_io | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_flags | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_integrity | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_iocost_cost | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_ioprio | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_iter.bi_bvec_done | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_iter.bi_idx | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_next | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_pool | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_status | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_write_hint | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->bi_write_stream | 0 |
| PARAM_VALUE | 0 | data_vio->vio.bio->issue_time_ns | 0 |
| PARAM_VALUE | 0 | data_vio->vio.completion.vdo | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->vio.completion.vdo->device_config | 4096-ptr_max |
| CAPPED_DATA | 0 | data_vio->vio.data | 1 |
| DATA_SOURCE | 0 | data_vio | $0 |
| MEM_ZERO | 0 | data_vio->vio.bio | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |