Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 result (-12),0,1028
PARAM_VALUE 1 repair 4096-ptr_max
DATA_SOURCE 1 repair r as_repair_completion
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 result (-12),0,1028
PARAM_VALUE 1 repair 4096-ptr_max
DATA_SOURCE 1 repair r as_repair_completion
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 result (-12),0
PARAM_VALUE 1 repair 4096-ptr_max
PARAM_VALUE 1 repair->completion.callback 0
PARAM_VALUE 1 repair->completion.callback_thread_id 0
PARAM_VALUE 1 repair->completion.complete 0
PARAM_VALUE 1 repair->completion.error_handler 4033240716803194880
PARAM_VALUE 1 repair->completion.my_queue 0
PARAM_VALUE 1 repair->completion.parent 4096-ptr_max
PARAM_VALUE 1 repair->completion.priority 0
PARAM_VALUE 1 repair->completion.requeue 0
PARAM_VALUE 1 repair->completion.result 0
PARAM_VALUE 1 repair->completion.type 14
PARAM_VALUE 1 repair->completion.vdo 4096-ptr_max
PARAM_VALUE 1 repair->completion.work_queue_entry_link.next 0
PARAM_VALUE 1 repair->page_count 0-1024
BUF_SIZE 1 repair->completion.parent (-1),4,8-s32max
CAPPED_DATA 1 repair->page_count 1
DATA_SOURCE 0 result r vdo_allocate_memory
BIT_INFO 1 &repair->completion.vdo->thread_config 0x1f8,0xffffffffffffffff
MEM_ZERO 1 repair->completion.error_handler
MEM_ZERO 1 repair->completion.my_queue
MEM_ZERO 1 repair->completion.parent
MEM_ZERO 1 repair->completion.vdo
MEM_ZERO 1 repair->completion.work_queue_entry_link.next
MEM_ZERO 1 &repair->completion
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 1 repair->page_count

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

Type Parameter Key Value
PARAM_VALUE 0 result (-12),0
PARAM_VALUE 1 repair 4096-ptr_max
PARAM_VALUE 1 repair->completion.callback 0
PARAM_VALUE 1 repair->completion.callback_thread_id 0
PARAM_VALUE 1 repair->completion.complete 0
PARAM_VALUE 1 repair->completion.error_handler 4033240716803194880
PARAM_VALUE 1 repair->completion.my_queue 0
PARAM_VALUE 1 repair->completion.parent 4096-ptr_max
PARAM_VALUE 1 repair->completion.priority 0
PARAM_VALUE 1 repair->completion.requeue 0
PARAM_VALUE 1 repair->completion.result 0
PARAM_VALUE 1 repair->completion.type 14
PARAM_VALUE 1 repair->completion.vdo 4096-ptr_max
PARAM_VALUE 1 repair->completion.work_queue_entry_link.next 0
PARAM_VALUE 1 repair->page_count 0-1024
BUF_SIZE 1 repair->completion.parent (-1),4,8-s32max
CAPPED_DATA 1 repair->page_count 1
DATA_SOURCE 0 result r vdo_allocate_memory
BIT_INFO 1 &repair->completion.vdo->thread_config 0x1f8,0xffffffffffffffff
MEM_ZERO 1 repair->completion.error_handler
MEM_ZERO 1 repair->completion.my_queue
MEM_ZERO 1 repair->completion.parent
MEM_ZERO 1 repair->completion.vdo
MEM_ZERO 1 repair->completion.work_queue_entry_link.next
MEM_ZERO 1 &repair->completion
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 1 repair->page_count

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

Type Parameter Key Value
PARAM_VALUE 0 result (-12),0,1028
PARAM_VALUE 1 repair 4096-ptr_max
PARAM_VALUE 1 repair->completion.callback 0
PARAM_VALUE 1 repair->completion.callback_thread_id 0
PARAM_VALUE 1 repair->completion.complete 0
PARAM_VALUE 1 repair->completion.error_handler 4033240716803194880
PARAM_VALUE 1 repair->completion.my_queue 0
PARAM_VALUE 1 repair->completion.parent 4096-ptr_max
PARAM_VALUE 1 repair->completion.priority 0
PARAM_VALUE 1 repair->completion.requeue 0
PARAM_VALUE 1 repair->completion.result 0
PARAM_VALUE 1 repair->completion.type 14
PARAM_VALUE 1 repair->completion.vdo 4096-ptr_max
PARAM_VALUE 1 repair->completion.work_queue_entry_link.next 0
PARAM_VALUE 1 repair->page_count 0-1024
PARAM_VALUE 1 repair->vios 4096-ptr_max
BUF_SIZE 1 repair->completion.parent (-1),4,8-s32max
CAPPED_DATA 1 repair->page_count 1
CAPPED_DATA 1 repair->vio_count 1
DATA_SOURCE 0 result r allocate_vio_components
BIT_INFO 1 &repair->completion.vdo->thread_config 0x1f8,0xffffffffffffffff
MEM_ZERO 1 repair->completion.error_handler
MEM_ZERO 1 repair->completion.my_queue
MEM_ZERO 1 repair->completion.parent
MEM_ZERO 1 repair->completion.vdo
MEM_ZERO 1 repair->completion.work_queue_entry_link.next
MEM_ZERO 1 &repair->completion
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 1 repair->completion.vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 1 repair->page_count
NO_OVERFLOW_SIMPLE 1 repair->vio_count