Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 0 vdo->admin.busy.counter 0-s32max
PARAM_VALUE 0 vdo->admin.callback_sync.done 0-4294967293,u32max
PARAM_VALUE 0 vdo->admin.callback_sync.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 vdo->admin.callback_sync.wait.lock.owner (-1)
PARAM_VALUE 0 vdo->admin.callback_sync.wait.lock.owner_cpu u32max
PARAM_VALUE 0 vdo->admin.callback_sync.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vdo->admin.callback_sync.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vdo->admin.completion.complete 0
PARAM_VALUE 0 vdo->admin.completion.requeue 1
PARAM_VALUE 0 vdo->admin.completion.result 0
PARAM_VALUE 0 vdo->admin.phase 0,4,10,19,27-28,39
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 2 new_size 1-u64max
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
CAPPED_DATA 1 old_size 1
CAPPED_DATA 1 old_size 1
CAPPED_DATA 2 new_size 1
CAPPED_DATA 2 new_size 1
DATA_SOURCE 0 vdo $0
DATA_SOURCE 2 new_size $1
NOSPEC 2 new_size
NOSPEC 2 new_size
USER_DATA 2 new_size 1-u64max[c]
NO_OVERFLOW_SIMPLE 0 vdo->block_map->next_forest->segments
NO_OVERFLOW_SIMPLE 0 vdo->block_map->root_count