Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/md/dm-vdo/vdo.c notify_vdo_of_read_only_mode() -> vdo_finish_completion()

Type Parameter Key Value
DATA_SOURCE 0 completion $1
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c erase_next_slab_journal() -> vdo_finish_completion()

Type Parameter Key Value
PARAM_VALUE 0 completion 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-vdo/slab-depot.c notify_block_allocator_of_read_only_mode() -> vdo_finish_completion()

Type Parameter Key Value
DATA_SOURCE 0 completion $1
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c prepare_for_tail_block_commit() -> vdo_finish_completion()

Type Parameter Key Value
DATA_SOURCE 0 completion $1
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c register_new_slabs() -> vdo_finish_completion()

Type Parameter Key Value
DATA_SOURCE 0 completion $2
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c release_tail_block_locks() -> vdo_finish_completion()

Type Parameter Key Value
DATA_SOURCE 0 completion $2
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c resume_scrubbing() -> vdo_finish_completion()

Type Parameter Key Value
PARAM_VALUE 0 completion 4096-ptr_max
PARAM_VALUE 0 completion->callback 6024601993001205760
PARAM_VALUE 0 completion->complete 0
PARAM_VALUE 0 completion->error_handler 6100805549957750784
PARAM_VALUE 0 completion->parent 0
PARAM_VALUE 0 completion->requeue 1
PARAM_VALUE 0 completion->result 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c resume_scrubbing() -> vdo_finish_completion()

Type Parameter Key Value
PARAM_VALUE 0 completion 4096-ptr_max
PARAM_VALUE 0 completion->callback 6024601993001205760
PARAM_VALUE 0 completion->complete 0
PARAM_VALUE 0 completion->error_handler 6100805549957750784
PARAM_VALUE 0 completion->parent 0
PARAM_VALUE 0 completion->requeue 1
PARAM_VALUE 0 completion->result 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c stop_scrubbing() -> vdo_finish_completion()

Type Parameter Key Value
PARAM_VALUE 0 completion 4096-ptr_max
PARAM_VALUE 0 completion->callback 5968476710246232064
PARAM_VALUE 0 completion->complete 0
PARAM_VALUE 0 completion->error_handler 6100805549957750784
PARAM_VALUE 0 completion->parent 0
PARAM_VALUE 0 completion->requeue 1
PARAM_VALUE 0 completion->result 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c vdo_fail_completion() -> vdo_finish_completion()

Type Parameter Key Value
PARAM_VALUE 0 completion 4096-ptr_max
BUF_SIZE 0 completion (-1),4,8-s32max
BUF_SIZE 0 completion (-1),4,8-s32max
BUF_SIZE 0 completion->parent (-1),8-s32max
DATA_SOURCE 0 completion $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 completion->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 completion->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 completion->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 completion->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 completion->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 completion->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 completion->vdo->thread_config.thread_count
HALF_LOCKED2 &pool->lock

drivers/md/dm-vdo/dedupe.c resume_index() -> vdo_finish_completion()

Type Parameter Key Value
PARAM_VALUE 0 completion 4096-ptr_max
PARAM_VALUE 0 completion->vdo 4096-ptr_max
PARAM_VALUE 0 completion->vdo->device_config 4096-ptr_max
PARAM_VALUE 0 completion->vdo->device_config->owned_device 4096-ptr_max
DATA_SOURCE 0 completion $1
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c vdo_fail_completion() -> vdo_finish_completion()

Type Parameter Key Value
PARAM_VALUE 0 completion 4096-ptr_max
DATA_SOURCE 0 completion $0
NOCHECK_CALL

drivers/md/dm-vdo/recovery-journal.c notify_recovery_journal_of_read_only_mode() -> vdo_finish_completion()

Type Parameter Key Value
DATA_SOURCE 0 completion $1
NOCHECK_CALL

drivers/md/dm-vdo/action-manager.c no_preamble() -> vdo_finish_completion()

Type Parameter Key Value
DATA_SOURCE 0 completion $1
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c advance_block_map_zone_era() -> vdo_finish_completion()

Type Parameter Key Value
DATA_SOURCE 0 completion $2
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c complete_with_page() -> vdo_finish_completion()

Type Parameter Key Value
PARAM_VALUE 0 completion 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c finish_cursor() -> vdo_finish_completion()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c grow_forest() -> vdo_finish_completion()

Type Parameter Key Value
DATA_SOURCE 0 completion $1
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c prepare_for_era_advance() -> vdo_finish_completion()

Type Parameter Key Value
DATA_SOURCE 0 completion $1
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c vdo_fail_completion() -> vdo_finish_completion()

Type Parameter Key Value
PARAM_VALUE 0 completion 4096-ptr_max
BUF_SIZE 0 completion (-1),4,8-s32max
BUF_SIZE 0 completion (-1),4,8-s32max
BUF_SIZE 0 completion->parent (-1),8-s32max
DATA_SOURCE 0 completion $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 completion->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 completion->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 completion->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 completion->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 completion->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 completion->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 completion->vdo->thread_config.thread_count

drivers/md/dm-vdo/logical-zone.c vdo_fail_completion() -> vdo_finish_completion()

Type Parameter Key Value
PARAM_VALUE 0 completion 4096-ptr_max
DATA_SOURCE 0 completion $0
NOCHECK_CALL

drivers/md/dm-vdo/repair.c vdo_fail_completion() -> vdo_finish_completion()

Type Parameter Key Value
PARAM_VALUE 0 completion 4096-ptr_max
BUF_SIZE 0 completion (-1),4,8-s32max
BUF_SIZE 0 completion (-1),4,8-s32max
BUF_SIZE 0 completion->parent (-1),8-s32max
DATA_SOURCE 0 completion $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 completion->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 completion->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 completion->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 completion->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 completion->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 completion->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 completion->vdo->thread_config.thread_count