Documented in 1 files:
Defined in 1 files as a function:
Referenced in 7 files:
- drivers/md/dm-vdo/block-map.c
- drivers/md/dm-vdo/data-vio.c
- drivers/md/dm-vdo/dedupe.c
- drivers/md/dm-vdo/packer.c
- drivers/md/dm-vdo/physical-zone.c, line 595
- drivers/md/dm-vdo/recovery-journal.c
- drivers/md/dm-vdo/slab-depot.c
Smatch caller information:
drivers/md/dm-vdo/packer.c compressed_write_end_io() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->allocation.zone | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->vio.completion.callback | 1890909825802960896 |
| DATA_SOURCE | 0 | data_vio | r vio_as_data_vio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/packer.c write_bin() -> continue_data_vio_with_error()
| 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.completion.error_handler | 5439583924607545344 |
| PARAM_VALUE | 0 | *data_vio->compression->block->header.sizes | 0-u16max |
| PARAM_VALUE | 1 | result | 1479 |
| DATA_SOURCE | 0 | data_vio | r remove_from_bin |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/packer.c write_bin() -> continue_data_vio_with_error()
| 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_iter.bi_size | 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_vcnt | 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 |
| PARAM_VALUE | 1 | result | 1486 |
| DATA_SOURCE | 0 | data_vio | r remove_from_bin |
| DATA_SOURCE | 1 | result | r vio_reset_bio |
| MEM_ZERO | 0 | data_vio->vio.bio | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/slab-depot.c abort_waiter() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 1 | result | 1479 |
| DATA_SOURCE | 0 | data_vio | r data_vio_from_reference_updater |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/slab-depot.c add_entry_from_waiter() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 1 | result | 0,1028,1465-1466,1490 |
| DATA_SOURCE | 0 | data_vio | r data_vio_from_reference_updater |
| FUZZY_MAX | 1 | result | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/physical-zone.c vdo_allocate_block_in_zone() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->allocation.zone | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->allocation.zone->allocator | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->allocation.zone->allocator->open_slab | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->allocation.zone->allocator->open_slab->allocq_entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->allocation.zone->allocator->open_slab->allocq_entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->allocation.zone->allocator->open_slab->allocq_entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->allocation.zone->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->allocation.zone->zone_number | 0-254 |
| PARAM_VALUE | 1 | result | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | data_vio->allocation.zone->allocator->open_slab | 1 |
| DATA_SOURCE | 0 | data_vio | $0 |
| DATA_SOURCE | 1 | result | r allocate_and_lock_block |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/dedupe.c acquire_provisional_reference() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->duplicate.pbn | 1-u64max |
| PARAM_VALUE | 0 | data_vio->duplicate.zone | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->duplicate.zone->lock_pool | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->hash_zone | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->is_duplicate | 0 |
| PARAM_VALUE | 0 | data_vio->vio.completion.callback | 4446852164700643328 |
| PARAM_VALUE | 1 | result | 1465,1490 |
| CAPPED_DATA | 0 | data_vio->duplicate.pbn | 1 |
| DATA_SOURCE | 0 | data_vio | $0 |
| DATA_SOURCE | 1 | result | r vdo_acquire_provisional_reference |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/dedupe.c fork_hash_lock() -> continue_data_vio_with_error()
| 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->hash_zone->lock_pool.next | 4096-ptr_max |
| PARAM_VALUE | 1 | result | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | data_vio | $1 |
| DATA_SOURCE | 1 | result | r acquire_lock |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/dedupe.c lock_duplicate_pbn() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->duplicate.pbn | 1-u64max |
| PARAM_VALUE | 0 | data_vio->duplicate.zone | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->duplicate.zone->lock_pool | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->hash_zone | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->vio.completion.callback | 4446852164700643328 |
| PARAM_VALUE | 1 | result | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | data_vio->duplicate.pbn | 1 |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| DATA_SOURCE | 1 | result | r vdo_attempt_physical_zone_pbn_lock |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/dedupe.c report_bogus_lock_state() -> continue_data_vio_with_error()
| 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 | 1 | result | 1478 |
| DATA_SOURCE | 0 | data_vio | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/dedupe.c start_verifying() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->hash_lock | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->hash_lock->verified | 0 |
| PARAM_VALUE | 0 | data_vio->hash_zone | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->is_duplicate | 1 |
| PARAM_VALUE | 0 | data_vio->last_async_operation | 18 |
| 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_iter.bi_size | 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_vcnt | 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.callback | 3977760109857230848 |
| 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 | 1 | result | 1486 |
| CAPPED_DATA | 0 | data_vio | 1 |
| DATA_SOURCE | 0 | data_vio | $1 |
| DATA_SOURCE | 1 | result | r vio_reset_bio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/dedupe.c start_writing() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->allocation.pbn | 0 |
| PARAM_VALUE | 1 | result | 1467 |
| DATA_SOURCE | 0 | data_vio | r select_writing_agent |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/dedupe.c vdo_acquire_hash_lock() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->hash_zone | 4096-ptr_max |
| PARAM_VALUE | 1 | result | 1028 |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| DATA_SOURCE | 1 | result | r assert_hash_lock_preconditions |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/dedupe.c vdo_acquire_hash_lock() -> continue_data_vio_with_error()
| 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->hash_zone->lock_pool.next | 4096-ptr_max |
| PARAM_VALUE | 1 | result | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| DATA_SOURCE | 1 | result | r acquire_lock |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/recovery-journal.c continue_committed_waiter() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->last_async_operation | 17 |
| PARAM_VALUE | 1 | result | 1479 |
| CAPPED_DATA | 0 | data_vio->recovery_journal_point.sequence_number | 1 |
| DATA_SOURCE | 0 | data_vio | r vdo_waiter_as_data_vio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/recovery-journal.c continue_waiter() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/recovery-journal.c vdo_add_recovery_journal_entry() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 1 | result | 1490 |
| DATA_SOURCE | 0 | data_vio | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/recovery-journal.c vdo_add_recovery_journal_entry() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 1 | result | 1479 |
| DATA_SOURCE | 0 | data_vio | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/block-map.c fetch_mapping_page() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->last_async_operation | 9-10,14 |
| PARAM_VALUE | 0 | data_vio->logical.zone | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->logical.zone->block_map_zone | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->vio.completion.callback | 168846557390815232,1666906139971366912,4558195390877495296,5015298756517670912 |
| PARAM_VALUE | 1 | result | 1480 |
| DATA_SOURCE | 0 | data_vio | $0 |
| HARD_MAX | 0 | data_vio->last_async_operation | 14 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/block-map.c finish_lookup() -> continue_data_vio_with_error()
| 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->block_map_zone | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->tree_lock.height | 0 |
| PARAM_VALUE | 0 | data_vio->vio.completion.callback | 6998677168715235328 |
| PARAM_VALUE | 0 | data_vio->vio.completion.error_handler | 8637004031277953024 |
| BUF_SIZE | 0 | data_vio | (-1),8-s32max |
| BUF_SIZE | 0 | data_vio | (-1),8-s32max |
| DATA_SOURCE | 0 | data_vio | $0 |
| DATA_SOURCE | 1 | result | $1 |
| 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/data-vio.c attempt_logical_block_lock() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->logical.zone | 4096-ptr_max |
| PARAM_VALUE | 1 | result | 1465 |
| 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() -> continue_data_vio_with_error()
| 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->vio.completion.vdo->states.vdo.config.logical_blocks | 1-u64max |
| PARAM_VALUE | 1 | result | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | data_vio->logical.lbn | 1 |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| DATA_SOURCE | 1 | result | r vdo_int_map_put |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c attempt_logical_block_lock() -> continue_data_vio_with_error()
| 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->vio.completion.vdo->states.vdo.config.logical_blocks | 1-u64max |
| PARAM_VALUE | 1 | result | 1028 |
| CAPPED_DATA | 0 | data_vio->logical.lbn | 1 |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| DATA_SOURCE | 1 | result | r vdo_must_use |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c complete_read() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->mapped.state | 2-u32max |
| PARAM_VALUE | 1 | result | 1483 |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| DATA_SOURCE | 1 | result | r uncompress_data_vio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c continue_data_vio_with_block_map_slot() -> continue_data_vio_with_error()
| 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->write_vios.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->logical.zone->write_vios.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->logical.zone->write_vios.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->read | 0 |
| PARAM_VALUE | 0 | data_vio->tree_lock.tree_slots | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->write_entry.next | 4096-ptr_max |
| PARAM_VALUE | 1 | result | 0,1479 |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c launch_locked_request() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->logical.locked | 1 |
| PARAM_VALUE | 0 | data_vio->vio.completion.vdo->threads | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->write | 1 |
| PARAM_VALUE | 1 | result | 1479 |
| DATA_SOURCE | 0 | data_vio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c read_block() -> continue_data_vio_with_error()
| 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 |
| PARAM_VALUE | 1 | result | 1486 |
| DATA_SOURCE | 0 | data_vio | r as_data_vio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c read_endio() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 1 | result | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | data_vio | r vio_as_data_vio |
| DATA_SOURCE | 1 | result | r blk_status_to_errno |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c transfer_lock() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 0,4096-ptr_max |
| PARAM_VALUE | 1 | result | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | data_vio | r vdo_waiter_as_data_vio |
| DATA_SOURCE | 1 | result | r vdo_int_map_put |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c write_data_vio() -> continue_data_vio_with_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data_vio | 4096-ptr_max |
| PARAM_VALUE | 0 | data_vio->allocation.pbn | 0 |
| PARAM_VALUE | 1 | result | 1467 |
| DATA_SOURCE | 0 | data_vio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/data-vio.c write_data_vio() -> continue_data_vio_with_error()
| 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->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_iter.bi_size | 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_vcnt | 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 |
| PARAM_VALUE | 0 | data_vio->vio.data | 1-u64max |
| PARAM_VALUE | 1 | result | 1486 |
| CAPPED_DATA | 0 | data_vio->vio.data | 1 |
| DATA_SOURCE | 0 | data_vio | $0 |
| DATA_SOURCE | 1 | result | r vio_reset_bio |
| MEM_ZERO | 0 | data_vio->vio.bio | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |