Open Menu /

Documented in 1 files:

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_make() -> vdo_destroy()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 0 vdo->admin.callback_sync.done 0
PARAM_VALUE 0 vdo->admin.callback_sync.wait.lock.magic 3735899821
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.next 4096-ptr_max
PARAM_VALUE 0 vdo->admin.callback_sync.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 vdo->admin.callback_sync.wait.task_list.prev 4096-ptr_max
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->prev 4096-ptr_max
PARAM_VALUE 0 vdo->admin.completion.callback 0
PARAM_VALUE 0 vdo->admin.completion.complete 0
PARAM_VALUE 0 vdo->admin.completion.error_handler 0
PARAM_VALUE 0 vdo->admin.completion.my_queue 0
PARAM_VALUE 0 vdo->admin.completion.parent 0
PARAM_VALUE 0 vdo->admin.completion.priority 0
PARAM_VALUE 0 vdo->admin.completion.requeue 0
PARAM_VALUE 0 vdo->admin.completion.result 0
PARAM_VALUE 0 vdo->admin.completion.type 2
PARAM_VALUE 0 vdo->admin.state.current_state 8937173667591942144
PARAM_VALUE 0 vdo->allocations_allowed 1
PARAM_VALUE 0 vdo->device_config 4096-ptr_max
PARAM_VALUE 0 vdo->device_config->index_memory (-768),(-512),(-256),0-1024
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->max_discard_blocks 1-1048575
PARAM_VALUE 0 vdo->device_config->owning_target 4096-ptr_max
PARAM_VALUE 0 vdo->device_config->slab_blocks 8192-8388608
PARAM_VALUE 0 vdo->device_config->thread_counts.bio_ack_threads 0-100
PARAM_VALUE 0 vdo->device_config->thread_counts.bio_rotation_interval 1-1024
PARAM_VALUE 0 vdo->device_config->thread_counts.bio_threads 1-100
PARAM_VALUE 0 vdo->device_config->thread_counts.cpu_threads 1-100
PARAM_VALUE 0 vdo->device_config->thread_counts.hash_zones 0-100
PARAM_VALUE 0 vdo->device_config->thread_counts.logical_zones 0-60
PARAM_VALUE 0 vdo->device_config->thread_counts.physical_zones 0-16
PARAM_VALUE 0 vdo->device_config->version 0-4
PARAM_VALUE 0 vdo->device_config_list.next 4096-ptr_max
PARAM_VALUE 0 vdo->device_config_list.next->next 4096-ptr_max
PARAM_VALUE 0 vdo->device_config_list.prev 4096-ptr_max
PARAM_VALUE 0 vdo->device_config_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vdo->device_config_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vdo->instance 0-64
PARAM_VALUE 0 vdo->stats_mutex.dep_map->name 0-255
PARAM_VALUE 0 vdo->stats_mutex.first_waiter 0
PARAM_VALUE 0 vdo->stats_mutex.magic 4096-ptr_max
PARAM_VALUE 0 vdo->stats_mutex.osq.tail.counter 0
PARAM_VALUE 0 vdo->stats_mutex.owner.counter 0
MEM_ZERO 0 &vdo->admin.completion
NOCHECK_CALL
USER_DATA 0 vdo->device_config->physical_blocks 0-u64max
NO_OVERFLOW_SIMPLE 0 vdo->admin.completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 vdo->admin.completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 vdo->admin.completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 vdo->admin.completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->admin.completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->admin.completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->admin.completion.vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 0 vdo->device_config->block_map_maximum_age
NO_OVERFLOW_SIMPLE 0 vdo->device_config->cache_size
NO_OVERFLOW_SIMPLE 0 vdo->device_config->index_memory
NO_OVERFLOW_SIMPLE 0 vdo->device_config->max_discard_blocks
NO_OVERFLOW_SIMPLE 0 vdo->device_config->physical_blocks
NO_OVERFLOW_SIMPLE 0 vdo->device_config->thread_counts.bio_ack_threads
NO_OVERFLOW_SIMPLE 0 vdo->device_config->thread_counts.bio_rotation_interval
NO_OVERFLOW_SIMPLE 0 vdo->device_config->thread_counts.bio_threads
NO_OVERFLOW_SIMPLE 0 vdo->device_config->thread_counts.cpu_threads
NO_OVERFLOW_SIMPLE 0 vdo->device_config->thread_counts.hash_zones
NO_OVERFLOW_SIMPLE 0 vdo->device_config->thread_counts.logical_zones
NO_OVERFLOW_SIMPLE 0 vdo->device_config->thread_counts.physical_zones
NO_OVERFLOW_SIMPLE 0 vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 vdo->geometry_block.vio.completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 vdo->geometry_block.vio.completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 vdo->geometry_block.vio.completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 vdo->geometry_block.vio.completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->geometry_block.vio.completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->geometry_block.vio.completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->geometry_block.vio.completion.vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 0 vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 vdo->super_block.vio.completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 vdo->super_block.vio.completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 vdo->super_block.vio.completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 vdo->super_block.vio.completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->super_block.vio.completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->super_block.vio.completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->super_block.vio.completion.vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.physical_zone_count
HALF_LOCKED2 &md->type_lock

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

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 vdo 0,4096-ptr_max
PARAM_VALUE 0 vdo->admin.callback_sync.done 0
PARAM_VALUE 0 vdo->admin.callback_sync.wait.lock.magic 3735899821
PARAM_VALUE 0 vdo->admin.callback_sync.wait.lock.owner (-1)
PARAM_VALUE 0 vdo->admin.callback_sync.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 vdo->admin.completion.complete 0
PARAM_VALUE 0 vdo->admin.completion.priority 0
PARAM_VALUE 0 vdo->admin.completion.requeue 0
PARAM_VALUE 0 vdo->admin.completion.result 0
PARAM_VALUE 0 vdo->admin.completion.type 2
PARAM_VALUE 0 vdo->admin.state.current_state 7079299719711760384
PARAM_VALUE 0 vdo->allocations_allowed 1
PARAM_VALUE 0 vdo->device_config s64min-(-4096),4096-s64max
PARAM_VALUE 0 vdo->geometry.index_config.mem 0-1024,4294966528,4294966784,4294967040
PARAM_VALUE 0 vdo->geometry.index_config.unused 0
PARAM_VALUE 0 vdo->geometry_block.vio.block_count 1
PARAM_VALUE 0 vdo->geometry_block.vio.completion.type 16
PARAM_VALUE 0 vdo->geometry_block.vio.priority 1
PARAM_VALUE 0 vdo->geometry_block.vio.type 5
PARAM_VALUE 0 vdo->instance 0-64
PARAM_VALUE 0 vdo->states.layout.first_free 0
PARAM_VALUE 0 vdo->states.layout.head 0
PARAM_VALUE 0 vdo->states.layout.last_free 0
PARAM_VALUE 0 vdo->states.layout.num_partitions 0
PARAM_VALUE 0 vdo->states.layout.size 0
PARAM_VALUE 0 vdo->states.layout.start 0
PARAM_VALUE 0 vdo->states.vdo.config.logical_blocks 0-1099511627776
PARAM_VALUE 0 vdo->states.vdo.config.recovery_journal_size 32768
PARAM_VALUE 0 vdo->states.vdo.config.slab_journal_blocks 224
PARAM_VALUE 0 vdo->states.vdo.config.slab_size 8192-8388608
PARAM_VALUE 0 vdo->states.volume_version.major_version 67
PARAM_VALUE 0 vdo->stats_mutex.first_waiter 0
PARAM_VALUE 0 vdo->stats_mutex.osq.tail.counter 0
PARAM_VALUE 0 vdo->stats_mutex.owner.counter 0
PARAM_VALUE 0 vdo->super_block.vio.block_count 1
PARAM_VALUE 0 vdo->super_block.vio.completion.requeue 0
PARAM_VALUE 0 vdo->super_block.vio.completion.result 0
PARAM_VALUE 0 vdo->super_block.vio.completion.type 16
PARAM_VALUE 0 vdo->super_block.vio.priority 1
PARAM_VALUE 0 vdo->super_block.vio.type 10
PARAM_VALUE 0 vdo->thread_config.bio_thread_count 1-100
PARAM_VALUE 0 vdo->thread_config.hash_zone_count 0-100
PARAM_VALUE 0 vdo->thread_config.logical_zone_count 0-60
PARAM_VALUE 0 vdo->thread_config.physical_zone_count 0-16
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.physical_zone_count

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

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
PARAM_VALUE 0 vdo->admin.callback_sync.wait.lock.magic 3735899821
PARAM_VALUE 0 vdo->admin.callback_sync.wait.lock.owner (-1)
PARAM_VALUE 0 vdo->admin.callback_sync.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 vdo->admin.completion.complete 0
PARAM_VALUE 0 vdo->admin.completion.priority 0
PARAM_VALUE 0 vdo->admin.completion.requeue 0
PARAM_VALUE 0 vdo->admin.completion.result 0
PARAM_VALUE 0 vdo->admin.completion.type 2
PARAM_VALUE 0 vdo->admin.state.current_state 7079299719711760384
PARAM_VALUE 0 vdo->allocations_allowed 1
PARAM_VALUE 0 vdo->device_config s64min-(-4096),4096-s64max
PARAM_VALUE 0 vdo->geometry.index_config.mem 0-1024,4294966528,4294966784,4294967040
PARAM_VALUE 0 vdo->geometry.index_config.unused 0
PARAM_VALUE 0 vdo->geometry_block.vio.block_count 1
PARAM_VALUE 0 vdo->geometry_block.vio.completion.type 16
PARAM_VALUE 0 vdo->geometry_block.vio.priority 1
PARAM_VALUE 0 vdo->geometry_block.vio.type 5
PARAM_VALUE 0 vdo->instance 0-64
PARAM_VALUE 0 vdo->states.layout.first_free 0
PARAM_VALUE 0 vdo->states.layout.head 0
PARAM_VALUE 0 vdo->states.layout.last_free 0
PARAM_VALUE 0 vdo->states.layout.num_partitions 0
PARAM_VALUE 0 vdo->states.layout.size 0
PARAM_VALUE 0 vdo->states.layout.start 0
PARAM_VALUE 0 vdo->states.vdo.config.logical_blocks 0-1099511627776
PARAM_VALUE 0 vdo->states.vdo.config.recovery_journal_size 32768
PARAM_VALUE 0 vdo->states.vdo.config.slab_journal_blocks 224
PARAM_VALUE 0 vdo->states.vdo.config.slab_size 8192-8388608
PARAM_VALUE 0 vdo->states.volume_version.major_version 67
PARAM_VALUE 0 vdo->stats_mutex.first_waiter 0
PARAM_VALUE 0 vdo->stats_mutex.osq.tail.counter 0
PARAM_VALUE 0 vdo->stats_mutex.owner.counter 0
PARAM_VALUE 0 vdo->super_block.vio.block_count 1
PARAM_VALUE 0 vdo->super_block.vio.completion.requeue 0
PARAM_VALUE 0 vdo->super_block.vio.completion.result 0
PARAM_VALUE 0 vdo->super_block.vio.completion.type 16
PARAM_VALUE 0 vdo->super_block.vio.priority 1
PARAM_VALUE 0 vdo->super_block.vio.type 10
PARAM_VALUE 0 vdo->thread_config.bio_thread_count 1-100
PARAM_VALUE 0 vdo->thread_config.hash_zone_count 0-100
PARAM_VALUE 0 vdo->thread_config.logical_zone_count 0-60
PARAM_VALUE 0 vdo->thread_config.physical_zone_count 0-16
DATA_SOURCE 0 vdo r vdo_find_matching
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.physical_zone_count