Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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 geometry_block 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->physical_blocks
HALF_LOCKED2 &md->type_lock