Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/dm-vdo-target.c prepare_to_modify() -> prepare_to_grow_physical()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 0 vdo->device_config 4096-ptr_max
PARAM_VALUE 0 vdo->device_config->logical_block_size 512,4096
PARAM_VALUE 0 vdo->device_config->logical_blocks 0-1099511627776
PARAM_VALUE 0 vdo->device_config->owning_target 4096-ptr_max
PARAM_VALUE 0 vdo->device_config->physical_blocks 0-18446744073709551614
PARAM_VALUE 1 new_physical_blocks 1-u64max
CAPPED_DATA 0 vdo 1
CAPPED_DATA 0 vdo->device_config->block_map_maximum_age 1
CAPPED_DATA 0 vdo->device_config->cache_size 1
CAPPED_DATA 0 vdo->device_config->logical_block_size 1
CAPPED_DATA 0 vdo->device_config->logical_blocks 1
CAPPED_DATA 0 vdo->device_config->owning_target->begin 1
CAPPED_DATA 0 vdo->device_config->physical_blocks 1
DATA_SOURCE 0 vdo $2
PARAM_COMPARE 1 new_physical_blocks > $0->device_config->physical_blocks
PARAM_COMPARE 1 new_physical_blocks > $0->device_config->physical_blocks
USER_DATA 1 new_physical_blocks 1-u64max
NO_OVERFLOW_SIMPLE 0 vdo->block_map->next_forest->segments
NO_OVERFLOW_SIMPLE 0 vdo->block_map->root_count
HALF_LOCKED2 &md->type_lock