Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/repair.c drain_slab_depot() -> prepare_repair_completion()

Type Parameter Key Value
PARAM_VALUE 0 repair 4096-ptr_max
PARAM_VALUE 2 zone_type 0
DATA_SOURCE 0 repair r as_repair_completion
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/repair.c finish_journal_load() -> prepare_repair_completion()

Type Parameter Key Value
PARAM_VALUE 0 repair 4096-ptr_max
PARAM_VALUE 2 zone_type 2
BUF_SIZE 0 repair (-1),8-s32max
BUF_SIZE 0 repair (-1),8-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/repair.c flush_block_map() -> prepare_repair_completion()

Type Parameter Key Value
PARAM_VALUE 0 repair 4096-ptr_max
PARAM_VALUE 2 zone_type 0
DATA_SOURCE 0 repair r as_repair_completion
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/repair.c flush_block_map_updates() -> prepare_repair_completion()

Type Parameter Key Value
PARAM_VALUE 0 repair 4096-ptr_max
PARAM_VALUE 2 zone_type 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/repair.c launch_repair_completion() -> prepare_repair_completion()

Type Parameter Key Value
PARAM_VALUE 0 repair 4096-ptr_max
PARAM_VALUE 2 zone_type 0
BUF_SIZE 0 repair (-1),8-s32max
BUF_SIZE 0 repair (-1),8-s32max
DATA_SOURCE 0 repair $0
DATA_SOURCE 1 callback $1
DATA_SOURCE 2 zone_type $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/repair.c load_slab_depot() -> prepare_repair_completion()

Type Parameter Key Value
PARAM_VALUE 0 repair 4096-ptr_max
PARAM_VALUE 2 zone_type 2
DATA_SOURCE 0 repair r as_repair_completion
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/repair.c load_slab_depot() -> prepare_repair_completion()

Type Parameter Key Value
PARAM_VALUE 0 repair 4096-ptr_max
PARAM_VALUE 2 zone_type 0
DATA_SOURCE 0 repair r as_repair_completion
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/repair.c rebuild_reference_counts() -> prepare_repair_completion()

Type Parameter Key Value
PARAM_VALUE 0 repair 4096-ptr_max
PARAM_VALUE 2 zone_type 2
DATA_SOURCE 0 repair r as_repair_completion
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/repair.c vdo_repair() -> prepare_repair_completion()

Type Parameter Key Value
PARAM_VALUE 0 repair 4096-ptr_max
PARAM_VALUE 0 repair->completion.callback 0
PARAM_VALUE 0 repair->completion.complete 0
PARAM_VALUE 0 repair->completion.result 0
PARAM_VALUE 2 zone_type 0
BUF_SIZE 0 repair->completion.parent (-1),4,8-s32max
MEM_ZERO 0 &repair->completion
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 repair->completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 repair->completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 repair->completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 repair->completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 repair->completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 repair->completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 repair->completion.vdo->thread_config.thread_count