Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/data-vio.c make_data_vio_pool() -> initialize_data_vio()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 1 vdo 4096-ptr_max
PARAM_VALUE 1 vdo->admin.callback_sync.done 0
PARAM_VALUE 1 vdo->admin.callback_sync.wait.lock.magic 3735899821
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.next 4096-ptr_max
PARAM_VALUE 1 vdo->admin.callback_sync.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 1 vdo->admin.callback_sync.wait.task_list.prev 4096-ptr_max
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->prev 4096-ptr_max
PARAM_VALUE 1 vdo->admin.completion.callback 0
PARAM_VALUE 1 vdo->admin.completion.complete 0
PARAM_VALUE 1 vdo->admin.completion.error_handler 0
PARAM_VALUE 1 vdo->admin.completion.my_queue 0
PARAM_VALUE 1 vdo->admin.completion.parent 0
PARAM_VALUE 1 vdo->admin.completion.priority 0
PARAM_VALUE 1 vdo->admin.completion.requeue 0
PARAM_VALUE 1 vdo->admin.completion.result 0
PARAM_VALUE 1 vdo->admin.completion.type 2
PARAM_VALUE 1 vdo->admin.state.current_state 7079299719711760384
PARAM_VALUE 1 vdo->allocations_allowed 1
PARAM_VALUE 1 vdo->compression_context 4096-ptr_max
PARAM_VALUE 1 vdo->device_config 4096-ptr_max
PARAM_VALUE 1 vdo->device_config->index_memory (-768),(-512),(-256),0-1024
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->max_discard_blocks 1-1048575
PARAM_VALUE 1 vdo->device_config->owned_device 1-u64max
PARAM_VALUE 1 vdo->device_config->owning_target 4096-ptr_max
PARAM_VALUE 1 vdo->device_config->slab_blocks 8192-8388608
PARAM_VALUE 1 vdo->device_config->thread_counts.bio_ack_threads 0-100
PARAM_VALUE 1 vdo->device_config->thread_counts.bio_rotation_interval 1-1024
PARAM_VALUE 1 vdo->device_config->thread_counts.bio_threads 1-100
PARAM_VALUE 1 vdo->device_config->thread_counts.cpu_threads 1-100
PARAM_VALUE 1 vdo->device_config->thread_counts.hash_zones 0-100
PARAM_VALUE 1 vdo->device_config->thread_counts.logical_zones 0-60
PARAM_VALUE 1 vdo->device_config->thread_counts.physical_zones 0-16
PARAM_VALUE 1 vdo->device_config->version 0-4
PARAM_VALUE 1 vdo->device_config_list.next 4096-ptr_max
PARAM_VALUE 1 vdo->device_config_list.next->next 4096-ptr_max
PARAM_VALUE 1 vdo->device_config_list.prev 4096-ptr_max
PARAM_VALUE 1 vdo->device_config_list.prev->next 4096-ptr_max
PARAM_VALUE 1 vdo->device_config_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 vdo->flusher 4096-ptr_max
PARAM_VALUE 1 vdo->flusher->completion.callback 0
PARAM_VALUE 1 vdo->flusher->completion.complete 0
PARAM_VALUE 1 vdo->flusher->completion.error_handler 0
PARAM_VALUE 1 vdo->flusher->completion.my_queue 0
PARAM_VALUE 1 vdo->flusher->completion.parent 0
PARAM_VALUE 1 vdo->flusher->completion.priority 0
PARAM_VALUE 1 vdo->flusher->completion.requeue 0
PARAM_VALUE 1 vdo->flusher->completion.result 0
PARAM_VALUE 1 vdo->flusher->completion.type 7
PARAM_VALUE 1 vdo->flusher->flush_pool->min_nr 1
PARAM_VALUE 1 vdo->flusher->state.current_state 1889149490642247680
PARAM_VALUE 1 vdo->flusher->vdo->admin.callback_sync.wait.lock.magic 3735899821
PARAM_VALUE 1 vdo->flusher->vdo->admin.callback_sync.wait.lock.owner (-1)
PARAM_VALUE 1 vdo->flusher->vdo->admin.callback_sync.wait.lock.owner_cpu 4294967295
PARAM_VALUE 1 vdo->flusher->vdo->admin.completion.type 2
PARAM_VALUE 1 vdo->flusher->vdo->admin.state.current_state 7079299719711760384
PARAM_VALUE 1 vdo->flusher->vdo->allocations_allowed 1
PARAM_VALUE 1 vdo->flusher->vdo->geometry.bio_offset 0-255
PARAM_VALUE 1 vdo->flusher->vdo->geometry.index_config.mem 0-1024,4294966528,4294966784,4294967040
PARAM_VALUE 1 vdo->flusher->vdo->geometry.nonce 0-255
PARAM_VALUE 1 vdo->flusher->vdo->geometry.unused 0-255
PARAM_VALUE 1 vdo->flusher->vdo->geometry_block.vio.block_count 1
PARAM_VALUE 1 vdo->flusher->vdo->geometry_block.vio.completion.type 16
PARAM_VALUE 1 vdo->flusher->vdo->geometry_block.vio.priority 1
PARAM_VALUE 1 vdo->flusher->vdo->geometry_block.vio.type 5
PARAM_VALUE 1 vdo->flusher->vdo->instance 0-64
PARAM_VALUE 1 vdo->flusher->vdo->states.vdo.config.logical_blocks 0-1099511627776
PARAM_VALUE 1 vdo->flusher->vdo->states.vdo.config.recovery_journal_size 32768
PARAM_VALUE 1 vdo->flusher->vdo->states.vdo.config.slab_journal_blocks 224
PARAM_VALUE 1 vdo->flusher->vdo->states.vdo.config.slab_size 8192-8388608
PARAM_VALUE 1 vdo->flusher->vdo->states.volume_version.major_version 67
PARAM_VALUE 1 vdo->flusher->vdo->super_block.vio.block_count 1
PARAM_VALUE 1 vdo->flusher->vdo->super_block.vio.completion.type 16
PARAM_VALUE 1 vdo->flusher->vdo->super_block.vio.priority 1
PARAM_VALUE 1 vdo->flusher->vdo->super_block.vio.type 10
PARAM_VALUE 1 vdo->flusher->waiting_flush_bios.head 0
PARAM_VALUE 1 vdo->flusher->waiting_flush_bios.tail 0
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->bio->bi_bdev->bd_queue->io_lockdep_map.name 0-255
PARAM_VALUE 1 vdo->geometry_block.vio->bio->bi_crypt_context->codec->alpha_to 0-u16max
PARAM_VALUE 1 vdo->geometry_block.vio->bio->bi_crypt_context->codec->genpoly 0-u16max
PARAM_VALUE 1 vdo->geometry_block.vio->bio->bi_crypt_context->codec->index_of 0-u16max
PARAM_VALUE 1 vdo->geometry_block.vio->data 0-255
PARAM_VALUE 1 vdo->geometry_block.vio.bio 4096-ptr_max
PARAM_VALUE 1 vdo->geometry_block.vio.bio->bi_bdev->bd_disk->queue 4096-ptr_max
PARAM_VALUE 1 vdo->geometry_block.vio.bio->bi_bdev->bd_disk->queue->blkg_list.next 4096-ptr_max
PARAM_VALUE 1 vdo->geometry_block.vio.bio->bi_bdev->bd_disk->queue->blkg_list.next->next 4096-ptr_max
PARAM_VALUE 1 vdo->geometry_block.vio.bio->bi_bdev->bd_disk->queue->blkg_list.next->prev 4096-ptr_max
PARAM_VALUE 1 vdo->geometry_block.vio.bio->bi_bdev->bd_queue 4096-ptr_max
PARAM_VALUE 1 vdo->geometry_block.vio.bio->bi_bdev->bd_queue->queue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 vdo->geometry_block.vio.bio->bi_end_io 2351913159879864320
PARAM_VALUE 1 vdo->geometry_block.vio.bio->bi_pool 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->packer 4096-ptr_max
PARAM_VALUE 1 vdo->packer->size 16
PARAM_VALUE 1 vdo->packer->state.current_state 1889149490642247680
PARAM_VALUE 1 vdo->registration.next 4096-ptr_max
PARAM_VALUE 1 vdo->registration.next->next 4096-ptr_max
PARAM_VALUE 1 vdo->registration.prev->next 4096-ptr_max
PARAM_VALUE 1 vdo->registration.prev->prev 4096-ptr_max
PARAM_VALUE 1 vdo->states.layout.first_free 0
PARAM_VALUE 1 vdo->states.layout.head 0
PARAM_VALUE 1 vdo->states.layout.head->id 0-255
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.dep_map->name 0-255
PARAM_VALUE 1 vdo->stats_mutex.first_waiter 0
PARAM_VALUE 1 vdo->stats_mutex.magic 4096-ptr_max
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->data 0-255
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
DATA_SOURCE 1 vdo $0
STR_LEN 1 vdo->thread_name_prefix 15
MEM_ZERO 1 &vdo->admin.completion
MEM_ZERO 1 &vdo->geometry_block.vio.completion
MEM_ZERO 1 &vdo->super_block.vio.completion
USER_DATA 1 vdo->device_config->physical_blocks 0-u64max
NO_OVERFLOW_SIMPLE 1 vdo->admin.completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 1 vdo->admin.completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 1 vdo->admin.completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 1 vdo->admin.completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 1 vdo->admin.completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 1 vdo->admin.completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 1 vdo->admin.completion.vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 1 vdo->device_config->block_map_maximum_age
NO_OVERFLOW_SIMPLE 1 vdo->device_config->cache_size
NO_OVERFLOW_SIMPLE 1 vdo->device_config->max_discard_blocks
NO_OVERFLOW_SIMPLE 1 vdo->device_config->physical_blocks
NO_OVERFLOW_SIMPLE 1 vdo->device_config->thread_counts.bio_ack_threads
NO_OVERFLOW_SIMPLE 1 vdo->device_config->thread_counts.bio_rotation_interval
NO_OVERFLOW_SIMPLE 1 vdo->device_config->thread_counts.bio_threads
NO_OVERFLOW_SIMPLE 1 vdo->device_config->thread_counts.cpu_threads
NO_OVERFLOW_SIMPLE 1 vdo->device_config->thread_counts.hash_zones
NO_OVERFLOW_SIMPLE 1 vdo->device_config->thread_counts.logical_zones
NO_OVERFLOW_SIMPLE 1 vdo->device_config->thread_counts.physical_zones
NO_OVERFLOW_SIMPLE 1 vdo->flusher->completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 1 vdo->flusher->completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 1 vdo->flusher->completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 1 vdo->flusher->completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 1 vdo->flusher->completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 1 vdo->flusher->completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 1 vdo->flusher->completion.vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 1 vdo->flusher->flush_pool->min_nr
NO_OVERFLOW_SIMPLE 1 vdo->flusher->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 1 vdo->flusher->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 1 vdo->flusher->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 1 vdo->flusher->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 1 vdo->flusher->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 1 vdo->flusher->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 1 vdo->flusher->vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 1 vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 1 vdo->geometry_block.vio.completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 1 vdo->geometry_block.vio.completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 1 vdo->geometry_block.vio.completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 1 vdo->geometry_block.vio.completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 1 vdo->geometry_block.vio.completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 1 vdo->geometry_block.vio.completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 1 vdo->geometry_block.vio.completion.vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 1 vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 1 vdo->super_block.vio.completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 1 vdo->super_block.vio.completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 1 vdo->super_block.vio.completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 1 vdo->super_block.vio.completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 1 vdo->super_block.vio.completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 1 vdo->super_block.vio.completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 1 vdo->super_block.vio.completion.vdo->thread_config.thread_count
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 1 vdo->thread_config.thread_count
HALF_LOCKED2 &md->type_lock