Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/repair.c extract_entries_from_block() -> append_sector_entries()

Type Parameter Key Value
PARAM_VALUE 0 repair 4096-ptr_max
PARAM_VALUE 0 repair->block_map_head 1-u64max
PARAM_VALUE 0 repair->completion.complete 0
PARAM_VALUE 0 repair->completion.result 0
PARAM_VALUE 0 repair->completion.vdo 4096-ptr_max
PARAM_VALUE 0 repair->completion.vdo->load_state 4,7
PARAM_VALUE 0 repair->completion.vdo->recovery_journal 4096-ptr_max
PARAM_VALUE 0 repair->completion.vdo->recovery_journal->size 1-u64max
PARAM_VALUE 0 repair->completion.vdo->thread_config.logical_threads 4096-ptr_max
PARAM_VALUE 0 repair->highest_tail 1-u64max
PARAM_VALUE 0 repair->slab_journal_head 1-u64max
PARAM_VALUE 0 repair->vio_count 0
PARAM_VALUE 0 repair->vios 0
PARAM_VALUE 2 format 1,3
PARAM_VALUE 3 entry_count 0-46
BUF_SIZE 0 repair (-1),8-s32max
BUF_SIZE 0 repair (-1),8-s32max
CAPPED_DATA 0 repair->completion.vdo->recovery_journal->nonce 1
CAPPED_DATA 0 repair->completion.vdo->recovery_journal->recovery_count 1
CAPPED_DATA 0 repair->completion.vdo->recovery_journal->size 1
CAPPED_DATA 2 format 1
CAPPED_DATA 3 entry_count 1
DATA_SOURCE 0 repair $0
DATA_SOURCE 2 format $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL