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() -> before_recovery_point()

Type Parameter Key Value
PARAM_VALUE 0 first 4096-ptr_max
PARAM_VALUE 1 second 4096-ptr_max
BUF_SIZE 0 first 16
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/repair.c add_slab_journal_entries() -> before_recovery_point()

Type Parameter Key Value
PARAM_VALUE 0 first 4096-ptr_max
PARAM_VALUE 1 second 4096-ptr_max
BUF_SIZE 0 first 16
CAPPED_DATA 0 first->sequence_number 1
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 first 8231228671607050240
PARAM_VALUE 0 first->entry_count 0-1
PARAM_VALUE 0 first->sector_count 1-2
PARAM_VALUE 0 first->sequence_number 1-u64max
PARAM_VALUE 1 second 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 first 8231228671607050240
PARAM_VALUE 0 first->entry_count 0-2
PARAM_VALUE 0 first->sector_count 1-3
PARAM_VALUE 0 first->sequence_number 1-u64max
PARAM_VALUE 1 second 4096-ptr_max
PARAM_VALUE 1 second->sequence_number 1-u64max
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 first 8153784253342978048
PARAM_VALUE 0 first->entry_count 0-1
PARAM_VALUE 0 first->sector_count 1-2
PARAM_VALUE 0 first->sequence_number 1-u64max
PARAM_VALUE 1 second 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 first 8153784253342978048
PARAM_VALUE 0 first->entry_count 0-2
PARAM_VALUE 0 first->sector_count 1-3
PARAM_VALUE 0 first->sequence_number 1-u64max
PARAM_VALUE 1 second 4096-ptr_max
PARAM_VALUE 1 second->sequence_number 1-u64max
RX_PATH
TASK_NOT_RUNNING