Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/repair.c advance_points() -> increment_recovery_point()

Type Parameter Key Value
PARAM_VALUE 0 point 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 point 8231228671607050240
PARAM_VALUE 0 point->entry_count 0-1
PARAM_VALUE 0 point->sector_count 1-2
PARAM_VALUE 0 point->sequence_number 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 point 8153784253342978048
PARAM_VALUE 0 point->entry_count 0-1
PARAM_VALUE 0 point->sector_count 1-2
PARAM_VALUE 0 point->sequence_number 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL