Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/repair.c parse_journal_for_recovery() -> compute_usages()

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 0-3,5-6,8-u32max
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->slab_journal_head 1-u64max
PARAM_VALUE 0 repair->tail 1-u64max
PARAM_VALUE 0 repair->vio_count 0
PARAM_VALUE 0 repair->vios 0
BUF_SIZE 0 repair (-1),8-s32max
BUF_SIZE 0 repair (-1),8-s32max
CAPPED_DATA 0 repair->block_map_head 1
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 0 repair->highest_tail 1
CAPPED_DATA 0 repair->slab_journal_head 1
CAPPED_DATA 0 repair->tail_recovery_point.sequence_number 1
DATA_SOURCE 0 repair $0
PARAM_COMPARE 0 repair->block_map_head <= $0->tail
PARAM_COMPARE 0 repair->block_map_head >= $0->tail_recovery_point.sequence_number
PARAM_COMPARE 0 repair->slab_journal_head <= $0->tail
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 repair->block_map_entry_count
NO_OVERFLOW_SIMPLE 0 repair->entry_count