Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/md/dm-vdo/physical-zone.c retry_allocation() -> continue_data_vio()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 0 data_vio->allocation.first_allocation_zone 0-254
PARAM_VALUE 0 data_vio->allocation.zone 4096-ptr_max
PARAM_VALUE 0 data_vio->allocation.zone->zone_number 0-254
DATA_SOURCE 0 data_vio r vdo_waiter_as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c exit_hash_lock() -> continue_data_vio()

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 0 data_vio->vio.completion.callback 168846557390815232
DATA_SOURCE 0 data_vio $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c finish_index_operation() -> continue_data_vio()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c lock_duplicate_pbn() -> continue_data_vio()

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_zone 4096-ptr_max
PARAM_VALUE 0 data_vio->is_duplicate 0
PARAM_VALUE 0 data_vio->vio.completion.callback 4446852164700643328
CAPPED_DATA 0 data_vio->duplicate.pbn 1
DATA_SOURCE 0 data_vio r as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c lock_duplicate_pbn() -> continue_data_vio()

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
CAPPED_DATA 0 data_vio->duplicate.pbn 1
DATA_SOURCE 0 data_vio r as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c lock_duplicate_pbn() -> continue_data_vio()

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_lock 4096-ptr_max
PARAM_VALUE 0 data_vio->hash_lock->duplicate_lock 4096-ptr_max
PARAM_VALUE 0 data_vio->hash_lock->duplicate_lock->holder_count 1
PARAM_VALUE 0 data_vio->hash_lock->duplicate_lock->implementation 4096-ptr_max
PARAM_VALUE 0 data_vio->hash_zone 4096-ptr_max
PARAM_VALUE 0 data_vio->vio.completion.callback 4446852164700643328
CAPPED_DATA 0 data_vio->duplicate.pbn 1
DATA_SOURCE 0 data_vio r as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c query_index() -> continue_data_vio()

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 0 data_vio->hash_zone 4096-ptr_max
PARAM_VALUE 0 data_vio->last_async_operation 5,16
PARAM_VALUE 0 data_vio->vio.completion.callback 1067735796949569536,1888266462791610368
DATA_SOURCE 0 data_vio $0
HARD_MAX 0 data_vio->last_async_operation 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c query_index() -> continue_data_vio()

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 0 data_vio->hash_zone 4096-ptr_max
PARAM_VALUE 0 data_vio->hash_zone->timed_out_complete->oldest 1-u64max
PARAM_VALUE 0 data_vio->last_async_operation 5,16
PARAM_VALUE 0 data_vio->vio.completion.callback 1067735796949569536,1888266462791610368
PARAM_VALUE 0 data_vio->vio.completion.vdo->hash_zones 4096-ptr_max
PARAM_VALUE 0 data_vio->vio.completion.vdo->hash_zones->dedupe_flag 1
DATA_SOURCE 0 data_vio $0
HARD_MAX 0 data_vio->last_async_operation 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c timeout_index_operations_callback() -> continue_data_vio()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 0 data_vio->dedupe_context 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/recovery-journal.c continue_committed_waiter() -> continue_data_vio()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 0 data_vio->last_async_operation 17
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/block-map.c vdo_get_mapped_block() -> continue_data_vio()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 0 data_vio->last_async_operation 9-10
PARAM_VALUE 0 data_vio->logical.zone 4096-ptr_max
PARAM_VALUE 0 data_vio->tree_lock.tree_slots 4096-ptr_max
PARAM_VALUE 0 data_vio->vio.completion.callback 1666906139971366912,4558195390877495296
DATA_SOURCE 0 data_vio $0
HARD_MAX 0 data_vio->last_async_operation 10
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL