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 add_slab_journal_entries() -> validate_recovery_journal_entry()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 1 entry 9121633479322267648
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.thread_count

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

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 0 vdo->load_state 0-3,5-6,8-u32max
PARAM_VALUE 0 vdo->recovery_journal 4096-ptr_max
PARAM_VALUE 0 vdo->thread_config.logical_threads 4096-ptr_max
PARAM_VALUE 1 entry 8083768763493097472
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/repair.c extract_new_mappings() -> validate_recovery_journal_entry()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 0 vdo->load_state 0-3,5-6,8-u32max
PARAM_VALUE 0 vdo->recovery_journal 4096-ptr_max
PARAM_VALUE 0 vdo->thread_config.logical_threads 4096-ptr_max
PARAM_VALUE 1 entry 5571400090229264384
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/repair.c unpack_entry() -> validate_recovery_journal_entry()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 0 vdo->load_state 4,7
PARAM_VALUE 0 vdo->recovery_journal 4096-ptr_max
PARAM_VALUE 0 vdo->thread_config.logical_threads 4096-ptr_max
PARAM_VALUE 1 entry 3936348714608689152
PARAM_VALUE 1 entry->operation 0-1
DATA_SOURCE 0 vdo $0
DATA_SOURCE 1 entry $3
FUZZY_MAX 1 entry->operation 1
RX_PATH
TASK_NOT_RUNNING