Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/dm-vdo-target.c update_existing_vdo() -> set_device_config()

Type Parameter Key Value
PARAM_VALUE 0 ti 4096-ptr_max
PARAM_VALUE 0 ti->error 6178336389065121792
PARAM_VALUE 0 ti->len 1-u64max
PARAM_VALUE 0 ti->table 4096-ptr_max
PARAM_VALUE 0 ti->table->md->disk->slave_dir->sd->count.counter s32min-s32max
PARAM_VALUE 0 ti->table->md->table_devices_lock.dep_map->name 0-255
PARAM_VALUE 0 ti->table->md->table_devices_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ti->table->md->table_devices_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 ti->table->md->table_devices_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 ti->table->mode 1,3
PARAM_VALUE 0 ti->table->num_allocated 8-1048576
PARAM_VALUE 0 ti->table->num_targets 0-1048575
PARAM_VALUE 0 ti->table->type 0
PARAM_VALUE 0 ti->type 4096-ptr_max
PARAM_VALUE 0 ti->type->module 0,4096-ptr_max
PARAM_VALUE 0 ti->type->module->refcnt.counter 0-s32max
PARAM_VALUE 0 ti->type->module->state 0-1,3-u32max
PARAM_VALUE 1 vdo 4096-ptr_max
PARAM_VALUE 1 vdo->admin.busy.counter 0-s32max
PARAM_VALUE 1 vdo->admin.callback_sync.done 0-4294967293,u32max
PARAM_VALUE 1 vdo->admin.callback_sync.wait.lock.dep_map->name 0-255
PARAM_VALUE 1 vdo->admin.callback_sync.wait.lock.owner (-1)
PARAM_VALUE 1 vdo->admin.callback_sync.wait.lock.owner_cpu u32max
PARAM_VALUE 1 vdo->admin.callback_sync.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 vdo->admin.callback_sync.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 vdo->admin.callback_sync.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 vdo->admin.completion.complete 0
PARAM_VALUE 1 vdo->admin.completion.requeue 1
PARAM_VALUE 1 vdo->admin.completion.result 0
PARAM_VALUE 1 vdo->admin.phase 0,4,10,19,27-28,39
PARAM_VALUE 1 vdo->block_map->next_entry_count 1-u64max
PARAM_VALUE 1 vdo->block_map->next_forest 0,4096-ptr_max
PARAM_VALUE 1 vdo->device_config 4096-ptr_max
PARAM_VALUE 1 vdo->device_config->logical_block_size 512,4096
PARAM_VALUE 1 vdo->device_config->logical_blocks 0-1099511627776
PARAM_VALUE 1 vdo->device_config->owning_target 4096-ptr_max
PARAM_VALUE 1 vdo->next_layout.head 4096-ptr_max
PARAM_VALUE 1 vdo->partition_copier 1-u64max
PARAM_VALUE 1 vdo->partition_copier->io_client 0-s64max
PARAM_VALUE 1 vdo->partition_copier->io_client->bios.back_pad 0,64
PARAM_VALUE 1 vdo->partition_copier->io_client->bios.bio_pool.alloc 7276475779886346240
PARAM_VALUE 1 vdo->partition_copier->io_client->bios.bio_pool.curr_nr 1-s32max
PARAM_VALUE 1 vdo->partition_copier->io_client->bios.bio_pool.free 8263660038527102976
PARAM_VALUE 1 vdo->partition_copier->io_client->bios.bio_pool.min_nr 1-1024
PARAM_VALUE 1 vdo->partition_copier->io_client->bios.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 1 vdo->partition_copier->io_client->bios.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 1 vdo->partition_copier->io_client->bios.bvec_pool.free 8263660038527102976
PARAM_VALUE 1 vdo->partition_copier->io_client->pool.alloc 7276475779886346240
PARAM_VALUE 1 vdo->partition_copier->io_client->pool.curr_nr 1-s32max
PARAM_VALUE 1 vdo->partition_copier->io_client->pool.free 8263660038527102976
PARAM_VALUE 1 vdo->partition_copier->io_client->pool.min_nr 1-1024
PARAM_VALUE 1 vdo->partition_copier->job_pool.alloc 7276475779886346240
PARAM_VALUE 1 vdo->partition_copier->job_pool.curr_nr 1-s32max
PARAM_VALUE 1 vdo->partition_copier->job_pool.free 8263660038527102976
PARAM_VALUE 1 vdo->partition_copier->job_pool.min_nr 8
PARAM_VALUE 1 vdo->partition_copier->kcopyd_wq 0-s64max
PARAM_VALUE 1 vdo->partition_copier->nr_jobs.counter 0
PARAM_VALUE 1 vdo->partition_copier->nr_reserved_pages 0-4294967295
PARAM_VALUE 1 vdo->partition_copier->sub_job_size 0-4294967295
PARAM_VALUE 1 vdo->partition_copier->throttle 0
PARAM_VALUE 2 config 4096-ptr_max
PARAM_VALUE 2 config->index_memory (-768),(-512),(-256),0-1024
PARAM_VALUE 2 config->logical_block_size 512,4096
PARAM_VALUE 2 config->logical_blocks 0-1099511627776
PARAM_VALUE 2 config->max_discard_blocks 1-1048575
PARAM_VALUE 2 config->owning_target s64min-(-4096),4096-s64max
PARAM_VALUE 2 config->slab_blocks 8192-8388608
PARAM_VALUE 2 config->thread_counts.bio_ack_threads 0-100
PARAM_VALUE 2 config->thread_counts.bio_rotation_interval 1-1024
PARAM_VALUE 2 config->thread_counts.bio_threads 1-100
PARAM_VALUE 2 config->thread_counts.cpu_threads 1-100
PARAM_VALUE 2 config->thread_counts.hash_zones 0-100
PARAM_VALUE 2 config->thread_counts.logical_zones 0-60
PARAM_VALUE 2 config->thread_counts.physical_zones 0-16
PARAM_VALUE 2 config->version 0-4
BUF_SIZE 0 ti->error 14
CAPPED_DATA 0 ti->begin 1
CAPPED_DATA 0 ti->table->md->disk 1
CAPPED_DATA 0 ti->table->num_targets 1
CAPPED_DATA 0 ti->type 1
CAPPED_DATA 1 vdo 1
CAPPED_DATA 1 vdo->device_config->block_map_maximum_age 1
CAPPED_DATA 1 vdo->device_config->cache_size 1
CAPPED_DATA 1 vdo->device_config->logical_block_size 1
CAPPED_DATA 1 vdo->device_config->logical_blocks 1
CAPPED_DATA 1 vdo->device_config->owning_target->begin 1
CAPPED_DATA 1 vdo->device_config->physical_blocks 1
CAPPED_DATA 2 config->block_map_maximum_age 1
CAPPED_DATA 2 config->cache_size 1
CAPPED_DATA 2 config->logical_block_size 1
CAPPED_DATA 2 config->logical_blocks 1
CAPPED_DATA 2 config->owning_target->begin 1
CAPPED_DATA 2 config->physical_blocks 1
DATA_SOURCE 0 ti $1
DATA_SOURCE 1 vdo $4
STR_LEN 0 ti->error 13
PARAM_COMPARE 2 config->block_map_maximum_age == $1->device_config->block_map_maximum_age
PARAM_COMPARE 2 config->cache_size == $1->device_config->cache_size
PARAM_COMPARE 2 config->logical_block_size == $1->device_config->logical_block_size
PARAM_COMPARE 2 config->logical_blocks >= $1->device_config->logical_blocks
PARAM_COMPARE 2 config->owning_target->begin == $1->device_config->owning_target->begin
PARAM_COMPARE 2 config->physical_blocks >= $1->device_config->physical_blocks
NOSPEC 2 config->physical_blocks
TERMINATED 0 ti->error 1
MEM_ZERO 0 ti
NOCHECK_CALL
USER_DATA 2 config->physical_blocks s64min-s64max[c]
NO_OVERFLOW_SIMPLE 0 ti->begin
NO_OVERFLOW_SIMPLE 0 ti->len
NO_OVERFLOW_SIMPLE 0 ti->table->num_allocated
NO_OVERFLOW_SIMPLE 1 vdo->block_map->next_forest->segments
NO_OVERFLOW_SIMPLE 1 vdo->block_map->root_count
NO_OVERFLOW_SIMPLE 1 vdo->depot->new_slab_count
NO_OVERFLOW_SIMPLE 1 vdo->partition_copier->io_client->bios.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 1 vdo->partition_copier->io_client->bios.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 1 vdo->partition_copier->job_pool.min_nr
NO_OVERFLOW_SIMPLE 2 config->physical_blocks
HALF_LOCKED2 &md->type_lock

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

Type Parameter Key Value
PARAM_VALUE 0 ti 4096-ptr_max
PARAM_VALUE 0 ti->error 6479349001215692800,6518647445674721280,7616888264220512256,8147290052336902144
PARAM_VALUE 0 ti->len 1-u64max
PARAM_VALUE 0 ti->table 4096-ptr_max
PARAM_VALUE 0 ti->table->flush_bypasses_map 1
PARAM_VALUE 0 ti->table->md->disk->slave_dir->sd->count.counter s32min-s32max
PARAM_VALUE 0 ti->table->md->table_devices_lock.dep_map->name 0-255
PARAM_VALUE 0 ti->table->md->table_devices_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ti->table->md->table_devices_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 ti->table->md->table_devices_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 ti->table->mode 1,3
PARAM_VALUE 0 ti->table->num_allocated 8-1048576
PARAM_VALUE 0 ti->table->type 0
PARAM_VALUE 0 ti->type 4096-ptr_max
PARAM_VALUE 0 ti->type->module 0,4096-ptr_max
PARAM_VALUE 0 ti->type->module->refcnt.counter 0-s32max
PARAM_VALUE 0 ti->type->module->state 0-1,3-u32max
PARAM_VALUE 0 *ti->error 0-255
PARAM_VALUE 1 vdo 4096-ptr_max
PARAM_VALUE 1 vdo->admin.busy.counter 0-s32max
PARAM_VALUE 1 vdo->admin.callback_sync.done 0-4294967293,u32max
PARAM_VALUE 1 vdo->admin.callback_sync.wait.lock.dep_map->name 0-255
PARAM_VALUE 1 vdo->admin.callback_sync.wait.lock.owner (-1)
PARAM_VALUE 1 vdo->admin.callback_sync.wait.lock.owner_cpu u32max
PARAM_VALUE 1 vdo->admin.callback_sync.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 vdo->admin.callback_sync.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 vdo->admin.completion.complete 0
PARAM_VALUE 1 vdo->admin.completion.priority 0
PARAM_VALUE 1 vdo->admin.completion.requeue 1
PARAM_VALUE 1 vdo->admin.completion.result 0
PARAM_VALUE 1 vdo->admin.completion.type 2
PARAM_VALUE 1 vdo->admin.phase 0,4,10,19,27-28,39
PARAM_VALUE 1 vdo->admin.state.current_state 7079299719711760384
PARAM_VALUE 1 vdo->allocations_allowed 1
PARAM_VALUE 1 vdo->device_config s64min-(-4096),4096-s64max
PARAM_VALUE 1 vdo->geometry.index_config.mem 0-1024,4294966528,4294966784,4294967040
PARAM_VALUE 1 vdo->geometry.index_config.unused 0
PARAM_VALUE 1 vdo->geometry_block.vio.block_count 1
PARAM_VALUE 1 vdo->geometry_block.vio.completion.type 16
PARAM_VALUE 1 vdo->geometry_block.vio.priority 1
PARAM_VALUE 1 vdo->geometry_block.vio.type 5
PARAM_VALUE 1 vdo->instance 0-64
PARAM_VALUE 1 vdo->states.layout.first_free 0
PARAM_VALUE 1 vdo->states.layout.head 0
PARAM_VALUE 1 vdo->states.layout.last_free 0
PARAM_VALUE 1 vdo->states.layout.num_partitions 0
PARAM_VALUE 1 vdo->states.layout.size 0
PARAM_VALUE 1 vdo->states.layout.start 0
PARAM_VALUE 1 vdo->states.vdo.config.logical_blocks 0-1099511627776
PARAM_VALUE 1 vdo->states.vdo.config.recovery_journal_size 32768
PARAM_VALUE 1 vdo->states.vdo.config.slab_journal_blocks 224
PARAM_VALUE 1 vdo->states.vdo.config.slab_size 8192-8388608
PARAM_VALUE 1 vdo->states.volume_version.major_version 67
PARAM_VALUE 1 vdo->stats_mutex.first_waiter 0
PARAM_VALUE 1 vdo->stats_mutex.osq.tail.counter 0
PARAM_VALUE 1 vdo->stats_mutex.owner.counter 0
PARAM_VALUE 1 vdo->super_block.vio.block_count 1
PARAM_VALUE 1 vdo->super_block.vio.completion.requeue 0
PARAM_VALUE 1 vdo->super_block.vio.completion.result 0
PARAM_VALUE 1 vdo->super_block.vio.completion.type 16
PARAM_VALUE 1 vdo->super_block.vio.priority 1
PARAM_VALUE 1 vdo->super_block.vio.type 10
PARAM_VALUE 1 vdo->thread_config.bio_thread_count 1-100
PARAM_VALUE 1 vdo->thread_config.hash_zone_count 0-100
PARAM_VALUE 1 vdo->thread_config.logical_zone_count 0-60
PARAM_VALUE 1 vdo->thread_config.physical_zone_count 0-16
PARAM_VALUE 2 config 4096-ptr_max
PARAM_VALUE 2 config->index_memory (-768),(-512),(-256),0-1024
PARAM_VALUE 2 config->logical_block_size 512,4096
PARAM_VALUE 2 config->logical_blocks 0-1099511627776
PARAM_VALUE 2 config->max_discard_blocks 1-1048575
PARAM_VALUE 2 config->owned_device 1-u64max
PARAM_VALUE 2 config->owning_target 4096-ptr_max
PARAM_VALUE 2 config->slab_blocks 8192-8388608
PARAM_VALUE 2 config->thread_counts.bio_ack_threads 0-100
PARAM_VALUE 2 config->thread_counts.bio_rotation_interval 1-1024
PARAM_VALUE 2 config->thread_counts.bio_threads 1-100
PARAM_VALUE 2 config->thread_counts.cpu_threads 1-100
PARAM_VALUE 2 config->thread_counts.hash_zones 0-100
PARAM_VALUE 2 config->thread_counts.logical_zones 0-60
PARAM_VALUE 2 config->thread_counts.physical_zones 0-16
PARAM_VALUE 2 config->version 0-4
CAPPED_DATA 0 ti->begin 1
CAPPED_DATA 0 ti->table->md->disk 1
CAPPED_DATA 0 ti->table->num_targets 1
CAPPED_DATA 0 ti->type 1
CAPPED_DATA 2 config->thread_counts.bio_ack_threads 1
CAPPED_DATA 2 config->thread_counts.bio_threads 1
CAPPED_DATA 2 config->thread_counts.cpu_threads 1
DATA_SOURCE 0 ti $0
DATA_SOURCE 1 vdo r vdo_find_matching
DATA_SOURCE 2 config $2
STR_LEN 0 ti->error (-1)
TERMINATED 0 ti->error 1
NOCHECK_CALL
USER_DATA 2 config->physical_blocks 0-u64max
NO_OVERFLOW_SIMPLE 0 ti->begin
NO_OVERFLOW_SIMPLE 0 ti->len
NO_OVERFLOW_SIMPLE 0 ti->table->num_allocated
NO_OVERFLOW_SIMPLE 1 vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 1 vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 1 vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 1 vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 1 vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 1 vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 2 config->index_memory
NO_OVERFLOW_SIMPLE 2 config->max_discard_blocks
NO_OVERFLOW_SIMPLE 2 config->thread_counts.bio_ack_threads
NO_OVERFLOW_SIMPLE 2 config->thread_counts.bio_rotation_interval
NO_OVERFLOW_SIMPLE 2 config->thread_counts.bio_threads
NO_OVERFLOW_SIMPLE 2 config->thread_counts.cpu_threads
NO_OVERFLOW_SIMPLE 2 config->thread_counts.hash_zones
NO_OVERFLOW_SIMPLE 2 config->thread_counts.logical_zones
NO_OVERFLOW_SIMPLE 2 config->thread_counts.physical_zones