Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/dm-vdo/vdo.c vdo_destroy() -> vdo_free_block_map()

Type Parameter Key Value
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c vdo_decode_block_map() -> vdo_free_block_map()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->entry_count 1-u64max
PARAM_VALUE 0 map->forest 0,4096-ptr_max
PARAM_VALUE 0 map->journal 4096-ptr_max
PARAM_VALUE 0 map->journal->lock_counter.state.counter 0-s32max
PARAM_VALUE 0 map->journal->state.current_state 8191577464670765056
PARAM_VALUE 0 map->vdo 4096-ptr_max
PARAM_VALUE 0 map->vdo->admin.completion.requeue 1
PARAM_VALUE 0 map->vdo->depot 4096-ptr_max
PARAM_VALUE 0 map->vdo->device_config 4096-ptr_max
PARAM_VALUE 0 map->vdo->layout.head 4096-ptr_max
PARAM_VALUE 0 map->vdo->layout.num_partitions 0-4
PARAM_VALUE 0 map->vdo->read_only_notifier.read_only_error 1479
PARAM_VALUE 0 map->vdo->read_only_notifier.state 2-3
PARAM_VALUE 0 map->vdo->recovery_journal 4096-ptr_max
PARAM_VALUE 0 map->vdo->states.layout.head 4096-ptr_max
PARAM_VALUE 0 map->vdo->states.layout.num_partitions 0-4
PARAM_VALUE 0 map->vdo->states.unused 0-255
PARAM_VALUE 0 map->vdo->states.vdo.config.logical_blocks 1-u64max
CAPPED_DATA 0 map->vdo->geometry.nonce 1
CAPPED_DATA 0 map->vdo->thread_config.physical_zone_count 1
CAPPED_DATA 0 map->vdo->thread_config.thread_count 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 map->journal->size
NO_OVERFLOW_SIMPLE 0 map->next_forest->segments
NO_OVERFLOW_SIMPLE 0 map->root_count
NO_OVERFLOW_SIMPLE 0 map->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 map->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 map->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 map->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 map->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 map->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 map->vdo->thread_config.thread_count

drivers/md/dm-vdo/block-map.c vdo_decode_block_map() -> vdo_free_block_map()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->entry_count 1-u64max
PARAM_VALUE 0 map->journal 4096-ptr_max
PARAM_VALUE 0 map->journal->lock_counter.state.counter 0-s32max
PARAM_VALUE 0 map->journal->state.current_state 8191577464670765056
PARAM_VALUE 0 map->next_entry_count 0
PARAM_VALUE 0 map->next_forest 0
PARAM_VALUE 0 map->vdo 4096-ptr_max
PARAM_VALUE 0 map->vdo->admin.completion.requeue 1
PARAM_VALUE 0 map->vdo->depot 4096-ptr_max
PARAM_VALUE 0 map->vdo->device_config 4096-ptr_max
PARAM_VALUE 0 map->vdo->layout.head 4096-ptr_max
PARAM_VALUE 0 map->vdo->layout.num_partitions 0-4
PARAM_VALUE 0 map->vdo->read_only_notifier.read_only_error 1479
PARAM_VALUE 0 map->vdo->read_only_notifier.state 2-3
PARAM_VALUE 0 map->vdo->recovery_journal 4096-ptr_max
PARAM_VALUE 0 map->vdo->states.layout.head 4096-ptr_max
PARAM_VALUE 0 map->vdo->states.layout.num_partitions 0-4
PARAM_VALUE 0 map->vdo->states.unused 0-255
PARAM_VALUE 0 map->vdo->states.vdo.config.logical_blocks 1-u64max
PARAM_VALUE 0 map->vdo->thread_config.logical_threads 4096-ptr_max
PARAM_VALUE 0 map->zone_count 1-255
CAPPED_DATA 0 map->vdo->geometry.nonce 1
CAPPED_DATA 0 map->vdo->thread_config.physical_zone_count 1
CAPPED_DATA 0 map->vdo->thread_config.thread_count 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 map->journal->size
NO_OVERFLOW_SIMPLE 0 map->next_forest->segments
NO_OVERFLOW_SIMPLE 0 map->root_count
NO_OVERFLOW_SIMPLE 0 map->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 map->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 map->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 map->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 map->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 map->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 map->vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 0 map->zone_count

drivers/md/dm-vdo/block-map.c vdo_decode_block_map() -> vdo_free_block_map()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->entry_count 1-u64max
PARAM_VALUE 0 map->journal 4096-ptr_max
PARAM_VALUE 0 map->journal->lock_counter.state.counter 0-s32max
PARAM_VALUE 0 map->journal->state.current_state 8191577464670765056
PARAM_VALUE 0 map->next_entry_count 0
PARAM_VALUE 0 map->next_forest 0
PARAM_VALUE 0 map->vdo 4096-ptr_max
PARAM_VALUE 0 map->vdo->admin.completion.requeue 1
PARAM_VALUE 0 map->vdo->depot 4096-ptr_max
PARAM_VALUE 0 map->vdo->device_config 4096-ptr_max
PARAM_VALUE 0 map->vdo->layout.head 4096-ptr_max
PARAM_VALUE 0 map->vdo->layout.num_partitions 0-4
PARAM_VALUE 0 map->vdo->read_only_notifier.read_only_error 1479
PARAM_VALUE 0 map->vdo->read_only_notifier.state 2-3
PARAM_VALUE 0 map->vdo->recovery_journal 4096-ptr_max
PARAM_VALUE 0 map->vdo->states.layout.head 4096-ptr_max
PARAM_VALUE 0 map->vdo->states.layout.num_partitions 0-4
PARAM_VALUE 0 map->vdo->states.unused 0-255
PARAM_VALUE 0 map->vdo->states.vdo.config.logical_blocks 1-u64max
CAPPED_DATA 0 map->vdo->geometry.nonce 1
CAPPED_DATA 0 map->vdo->thread_config.physical_zone_count 1
CAPPED_DATA 0 map->vdo->thread_config.thread_count 1
CAPPED_DATA 0 map->zone_count 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 map->journal->size
NO_OVERFLOW_SIMPLE 0 map->next_forest->segments
NO_OVERFLOW_SIMPLE 0 map->root_count
NO_OVERFLOW_SIMPLE 0 map->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 map->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 map->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 map->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 map->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 map->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 map->vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 0 map->zone_count