Open Menu /

Documented in 2 files:

Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/md/dm-vdo/physical-zone.c vdo_make_physical_zones() -> initialize_zone()

Type Parameter Key Value
PARAM_VALUE 0 zones 4096-ptr_max
PARAM_VALUE 0 zones->admin.completion.requeue 1
PARAM_VALUE 0 zones->block_map 4096-ptr_max
PARAM_VALUE 0 zones->block_map->journal 4096-ptr_max
PARAM_VALUE 0 zones->block_map->next_entry_count 0
PARAM_VALUE 0 zones->block_map->next_forest 0
PARAM_VALUE 0 zones->block_map->vdo 4096-ptr_max
PARAM_VALUE 0 zones->depot 4096-ptr_max
PARAM_VALUE 0 zones->depot->hint_shift 0-57
PARAM_VALUE 0 zones->depot->new_slab_count 0
PARAM_VALUE 0 zones->depot->new_slabs 0
PARAM_VALUE 0 zones->depot->old_zone_count 0-16
PARAM_VALUE 0 zones->depot->slab_count 1-u16max
PARAM_VALUE 0 zones->depot->slab_size_shift 0-63
PARAM_VALUE 0 zones->depot->vdo 4096-ptr_max
PARAM_VALUE 0 zones->device_config 4096-ptr_max
PARAM_VALUE 0 zones->layout.head 4096-ptr_max
PARAM_VALUE 0 zones->layout.num_partitions 0-4
PARAM_VALUE 0 zones->read_only_notifier.completion.type 0
PARAM_VALUE 0 zones->read_only_notifier.read_only_error 1479
PARAM_VALUE 0 zones->read_only_notifier.state 2-3
PARAM_VALUE 0 zones->recovery_journal 4096-ptr_max
PARAM_VALUE 0 zones->recovery_journal->lock_counter.state.counter 0-s32max
PARAM_VALUE 0 zones->recovery_journal->state.current_state 8191577464670765056
PARAM_VALUE 0 zones->states.layout.head 4096-ptr_max
PARAM_VALUE 0 zones->states.layout.head->id 0-255
PARAM_VALUE 0 zones->states.layout.num_partitions 0-4
PARAM_VALUE 0 zones->states.unused 0-255
PARAM_VALUE 0 zones->states.vdo.config.logical_blocks 1-u64max
PARAM_VALUE 0 zones->thread_config.physical_zone_count 1-255
PARAM_VALUE 1 zone_number 4096-ptr_max
PARAM_VALUE 1 zone_number->zone_count 0-254
CAPPED_DATA 0 zones->device_config->logical_blocks 1
CAPPED_DATA 0 zones->device_config->physical_blocks 1
CAPPED_DATA 0 zones->geometry.nonce 1
CAPPED_DATA 0 zones->thread_config.logical_zone_count 1
CAPPED_DATA 0 zones->thread_config.physical_zone_count 1
CAPPED_DATA 0 zones->thread_config.thread_count 1
CAPPED_DATA 1 zone_number->zone_count 1
DATA_SOURCE 0 zones $0
MEM_ZERO 0 &zones->read_only_notifier.completion
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 zones->block_map->root_count
NO_OVERFLOW_SIMPLE 0 zones->block_map->zone_count
NO_OVERFLOW_SIMPLE 0 zones->depot->new_slab_count
NO_OVERFLOW_SIMPLE 0 zones->depot->zone_count
NO_OVERFLOW_SIMPLE 0 zones->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 zones->recovery_journal->size
NO_OVERFLOW_SIMPLE 0 zones->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 zones->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 zones->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 zones->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 zones->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 zones->thread_config.thread_count
NO_OVERFLOW_SIMPLE 1 zone_number->zone_count

drivers/md/dm-vdo/dedupe.c vdo_make_hash_zones() -> initialize_zone()

Type Parameter Key Value
PARAM_VALUE 0 zones 4096-ptr_max
PARAM_VALUE 0 zones->admin.completion.requeue 1
PARAM_VALUE 0 zones->block_map 4096-ptr_max
PARAM_VALUE 0 zones->block_map->journal 4096-ptr_max
PARAM_VALUE 0 zones->block_map->next_entry_count 0
PARAM_VALUE 0 zones->block_map->next_forest 0
PARAM_VALUE 0 zones->block_map->vdo 4096-ptr_max
PARAM_VALUE 0 zones->depot 4096-ptr_max
PARAM_VALUE 0 zones->depot->hint_shift 0-57
PARAM_VALUE 0 zones->depot->new_slab_count 0
PARAM_VALUE 0 zones->depot->new_slabs 0
PARAM_VALUE 0 zones->depot->old_zone_count 0-16
PARAM_VALUE 0 zones->depot->slab_count 1-u16max
PARAM_VALUE 0 zones->depot->slab_size_shift 0-63
PARAM_VALUE 0 zones->depot->vdo 4096-ptr_max
PARAM_VALUE 0 zones->device_config 4096-ptr_max
PARAM_VALUE 0 zones->device_config->owned_device 4096-ptr_max
PARAM_VALUE 0 zones->layout.head 4096-ptr_max
PARAM_VALUE 0 zones->layout.num_partitions 0-4
PARAM_VALUE 0 zones->read_only_notifier.completion.type 0
PARAM_VALUE 0 zones->read_only_notifier.read_only_error 1479
PARAM_VALUE 0 zones->read_only_notifier.state 2-3
PARAM_VALUE 0 zones->recovery_journal 4096-ptr_max
PARAM_VALUE 0 zones->recovery_journal->lock_counter.state.counter 0-s32max
PARAM_VALUE 0 zones->recovery_journal->state.current_state 8191577464670765056
PARAM_VALUE 0 zones->states.layout.head 4096-ptr_max
PARAM_VALUE 0 zones->states.layout.head->id 0-255
PARAM_VALUE 0 zones->states.layout.num_partitions 0-4
PARAM_VALUE 0 zones->states.unused 0-255
PARAM_VALUE 0 zones->states.vdo.config.logical_blocks 1-u64max
PARAM_VALUE 0 zones->thread_config.hash_zone_count 1-255
PARAM_VALUE 1 zone_number 4096-ptr_max
PARAM_VALUE 1 zone_number->completion.callback 6618633093638942720
PARAM_VALUE 1 zone_number->completion.complete 0
PARAM_VALUE 1 zone_number->completion.error_handler 0
PARAM_VALUE 1 zone_number->completion.my_queue 0
PARAM_VALUE 1 zone_number->completion.parent 0
PARAM_VALUE 1 zone_number->completion.priority 0
PARAM_VALUE 1 zone_number->completion.requeue 0
PARAM_VALUE 1 zone_number->completion.result 0
PARAM_VALUE 1 zone_number->completion.type 10
PARAM_VALUE 1 zone_number->index_session->load_context.status 0-4
PARAM_VALUE 1 zone_number->ratelimiter.begin 0
PARAM_VALUE 1 zone_number->ratelimiter.burst 10
PARAM_VALUE 1 zone_number->ratelimiter.flags 1
PARAM_VALUE 1 zone_number->ratelimiter.interval 1250
PARAM_VALUE 1 zone_number->ratelimiter.lock.magic 3735899821
PARAM_VALUE 1 zone_number->ratelimiter.lock.owner (-1)
PARAM_VALUE 1 zone_number->ratelimiter.lock.owner_cpu u32max
PARAM_VALUE 1 zone_number->ratelimiter.lock.raw_lock.locked 0
PARAM_VALUE 1 zone_number->ratelimiter.lock.raw_lock.tail 0
PARAM_VALUE 1 zone_number->ratelimiter.missed.counter 0
PARAM_VALUE 1 zone_number->ratelimiter.rs_n_left.counter 0
PARAM_VALUE 1 zone_number->state.current_state 8937173667591942144
PARAM_VALUE 1 zone_number->zone_count 1-255
PARAM_VALUE 2 zone_number 0-254
CAPPED_DATA 0 zones->device_config->logical_blocks 1
CAPPED_DATA 0 zones->device_config->physical_blocks 1
CAPPED_DATA 0 zones->geometry.nonce 1
CAPPED_DATA 0 zones->thread_config.logical_zone_count 1
CAPPED_DATA 0 zones->thread_config.physical_zone_count 1
CAPPED_DATA 0 zones->thread_config.thread_count 1
CAPPED_DATA 2 zone_number 1
DATA_SOURCE 0 zones $0
MEM_ZERO 0 &zones->read_only_notifier.completion
MEM_ZERO 1 &zone_number->completion
MEM_ZERO 1 &zone_number->ratelimiter
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 zones->block_map->root_count
NO_OVERFLOW_SIMPLE 0 zones->block_map->zone_count
NO_OVERFLOW_SIMPLE 0 zones->depot->new_slab_count
NO_OVERFLOW_SIMPLE 0 zones->depot->zone_count
NO_OVERFLOW_SIMPLE 0 zones->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 zones->logical_zones->zone_count
NO_OVERFLOW_SIMPLE 0 zones->physical_zones->zone_count
NO_OVERFLOW_SIMPLE 0 zones->recovery_journal->size
NO_OVERFLOW_SIMPLE 0 zones->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 zones->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 zones->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 zones->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 zones->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 zones->thread_config.thread_count
NO_OVERFLOW_SIMPLE 1 zone_number->completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 1 zone_number->completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 1 zone_number->completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 1 zone_number->completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 1 zone_number->completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 1 zone_number->completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 1 zone_number->completion.vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 1 zone_number->zone_count
NO_OVERFLOW_SIMPLE 2 zone_number

drivers/md/dm-vdo/logical-zone.c vdo_make_logical_zones() -> initialize_zone()

Type Parameter Key Value
PARAM_VALUE 0 zones 4096-ptr_max
PARAM_VALUE 0 zones->vdo 4096-ptr_max
PARAM_VALUE 0 zones->vdo->admin.completion.requeue 1
PARAM_VALUE 0 zones->vdo->block_map 4096-ptr_max
PARAM_VALUE 0 zones->vdo->depot 4096-ptr_max
PARAM_VALUE 0 zones->vdo->device_config 4096-ptr_max
PARAM_VALUE 0 zones->vdo->layout.head 4096-ptr_max
PARAM_VALUE 0 zones->vdo->layout.num_partitions 0-4
PARAM_VALUE 0 zones->vdo->read_only_notifier.read_only_error 1479
PARAM_VALUE 0 zones->vdo->read_only_notifier.state 2-3
PARAM_VALUE 0 zones->vdo->recovery_journal 4096-ptr_max
PARAM_VALUE 0 zones->vdo->states.layout.head 4096-ptr_max
PARAM_VALUE 0 zones->vdo->states.layout.num_partitions 0-4
PARAM_VALUE 0 zones->vdo->states.unused 0-255
PARAM_VALUE 0 zones->vdo->states.vdo.config.logical_blocks 1-u64max
PARAM_VALUE 0 zones->vdo->thread_config.logical_zone_count 1-255
PARAM_VALUE 0 zones->zone_count 1-255
PARAM_VALUE 1 zone_number 0-254
CAPPED_DATA 0 zones->vdo->geometry.nonce 1
CAPPED_DATA 0 zones->vdo->thread_config.logical_zone_count 1
CAPPED_DATA 0 zones->vdo->thread_config.physical_zone_count 1
CAPPED_DATA 0 zones->vdo->thread_config.thread_count 1
CAPPED_DATA 0 zones->zone_count 1
CAPPED_DATA 1 zone_number 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 zones->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 zones->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 zones->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 zones->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 zones->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 zones->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 zones->vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 0 zones->zone_count
NO_OVERFLOW_SIMPLE 1 zone_number