Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/md/dm-vdo/vdo.c initialize_geometry_block() -> allocate_vio_components()

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
PARAM_VALUE 1 vio_type 5
PARAM_VALUE 2 priority 1
PARAM_VALUE 3 parent 0
PARAM_VALUE 4 block_count 1
PARAM_VALUE 6 vio 4096-ptr_max
DATA_SOURCE 0 vdo $0
MEM_ZERO 0 &vdo->admin.completion
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->physical_blocks
HALF_LOCKED2 &md->type_lock

drivers/md/dm-vdo/vdo.c initialize_super_block() -> allocate_vio_components()

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->geometry_block.vio->data 0-255
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->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
PARAM_VALUE 1 vio_type 10
PARAM_VALUE 2 priority 1
PARAM_VALUE 3 parent 0
PARAM_VALUE 4 block_count 1
PARAM_VALUE 6 vio 4096-ptr_max
DATA_SOURCE 0 vdo $0
MEM_ZERO 0 &vdo->admin.completion
MEM_ZERO 0 &vdo->geometry_block.vio.completion
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->physical_blocks
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
HALF_LOCKED2 &md->type_lock

drivers/md/dm-vdo/slab-depot.c initialize_slab_scrubber() -> allocate_vio_components()

Type Parameter Key Value
PARAM_VALUE 1 vio_type 8
PARAM_VALUE 2 priority 1
PARAM_VALUE 3 parent 4096-ptr_max
PARAM_VALUE 6 vio 4096-ptr_max
DATA_SOURCE 3 parent $0
RX_PATH
TASK_NOT_RUNNING
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
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.thread_count

drivers/md/dm-vdo/slab-depot.c initialize_slab_summary_block() -> allocate_vio_components()

Type Parameter Key Value
PARAM_VALUE 1 vio_type 9
PARAM_VALUE 2 priority 1
PARAM_VALUE 3 parent 0
PARAM_VALUE 4 block_count 1
PARAM_VALUE 6 vio 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/recovery-journal.c initialize_recovery_block() -> allocate_vio_components()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 0 vdo->admin.completion.requeue 1
PARAM_VALUE 0 vdo->device_config 4096-ptr_max
PARAM_VALUE 0 vdo->layout.head 4096-ptr_max
PARAM_VALUE 0 vdo->layout.num_partitions 0-4
PARAM_VALUE 0 vdo->read_only_notifier.completion.type 0
PARAM_VALUE 0 vdo->read_only_notifier.read_only_error 1479
PARAM_VALUE 0 vdo->read_only_notifier.state 2-3
PARAM_VALUE 0 vdo->states.layout.head 4096-ptr_max
PARAM_VALUE 0 vdo->states.layout.head->count 0-255
PARAM_VALUE 0 vdo->states.layout.head->id 0-255
PARAM_VALUE 0 vdo->states.layout.head->offset 0-255
PARAM_VALUE 0 vdo->states.layout.num_partitions 0-4
PARAM_VALUE 0 vdo->states.vdo.config.logical_blocks 1-u64max
PARAM_VALUE 1 vio_type 7
PARAM_VALUE 2 priority 2
PARAM_VALUE 3 parent 4096-ptr_max
PARAM_VALUE 4 block_count 1
PARAM_VALUE 6 vio 4096-ptr_max
CAPPED_DATA 0 vdo->device_config->logical_blocks 1
CAPPED_DATA 0 vdo->device_config->physical_blocks 1
CAPPED_DATA 0 vdo->geometry.nonce 1
CAPPED_DATA 0 vdo->thread_config.thread_count 1
DATA_SOURCE 0 vdo $0
DATA_SOURCE 3 parent $2
MEM_ZERO 0 &vdo->read_only_notifier.completion
RX_PATH
TASK_NOT_RUNNING
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
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.thread_count

drivers/md/dm-vdo/repair.c vdo_repair() -> allocate_vio_components()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 0 vdo->admin.completion.requeue 1
PARAM_VALUE 0 vdo->device_config 4096-ptr_max
PARAM_VALUE 0 vdo->hash_zones 4096-ptr_max
PARAM_VALUE 0 vdo->recovery_journal 4096-ptr_max
PARAM_VALUE 0 vdo->threads 4096-ptr_max
PARAM_VALUE 1 vio_type 7
PARAM_VALUE 2 priority 1
PARAM_VALUE 3 parent 4096-ptr_max
PARAM_VALUE 4 block_count 0-256
PARAM_VALUE 6 vio 4096-ptr_max
CAPPED_DATA 4 block_count 1
RX_PATH
TASK_NOT_RUNNING
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
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.thread_count

drivers/md/dm-vdo/vio.c create_multi_block_metadata_vio() -> allocate_vio_components()

Type Parameter Key Value
PARAM_VALUE 1 vio_type 3,7,9
PARAM_VALUE 2 priority 1-2
PARAM_VALUE 4 block_count 1,64
DATA_SOURCE 0 vdo $0
DATA_SOURCE 1 vio_type $1
DATA_SOURCE 2 priority $2
DATA_SOURCE 3 parent $3
DATA_SOURCE 4 block_count $4
DATA_SOURCE 5 data $5
HARD_MAX 1 vio_type 9
HARD_MAX 2 priority 2
HARD_MAX 4 block_count 64
RX_PATH
TASK_NOT_RUNNING
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
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.thread_count

drivers/md/dm-vdo/vio.c make_vio_pool() -> allocate_vio_components()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 0 vdo->admin.completion.requeue 1
PARAM_VALUE 0 vdo->device_config 4096-ptr_max
PARAM_VALUE 0 vdo->layout.head 4096-ptr_max
PARAM_VALUE 0 vdo->layout.num_partitions 0-4
PARAM_VALUE 0 vdo->read_only_notifier.read_only_error 1479
PARAM_VALUE 0 vdo->read_only_notifier.state 2-3
PARAM_VALUE 0 vdo->states.layout.head 4096-ptr_max
PARAM_VALUE 0 vdo->states.layout.num_partitions 0-4
PARAM_VALUE 0 vdo->states.vdo.config.logical_blocks 1-u64max
PARAM_VALUE 1 vio_type 4,8
PARAM_VALUE 2 priority 1
PARAM_VALUE 3 parent 0
PARAM_VALUE 6 vio 4096-ptr_max
CAPPED_DATA 0 vdo->geometry.nonce 1
CAPPED_DATA 0 vdo->thread_config.thread_count 1
DATA_SOURCE 0 vdo $0
DATA_SOURCE 1 vio_type $4
DATA_SOURCE 2 priority $5
DATA_SOURCE 4 block_count $2 [m]
HARD_MAX 1 vio_type 8
RX_PATH
TASK_NOT_RUNNING
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
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.thread_count