Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/md/dm-vdo/slab-depot.c allocate_components() -> vdo_make_action_manager()

Type Parameter Key Value
PARAM_VALUE 3 context 4096-ptr_max
PARAM_VALUE 5 vdo 4096-ptr_max
PARAM_VALUE 5 vdo->admin.completion.requeue 1
PARAM_VALUE 5 vdo->device_config 4096-ptr_max
PARAM_VALUE 5 vdo->layout.head 4096-ptr_max
PARAM_VALUE 5 vdo->layout.num_partitions 0-4
PARAM_VALUE 5 vdo->read_only_notifier.read_only_error 1479
PARAM_VALUE 5 vdo->read_only_notifier.state 2-3
PARAM_VALUE 5 vdo->recovery_journal 4096-ptr_max
PARAM_VALUE 5 vdo->states.layout.head 4096-ptr_max
PARAM_VALUE 5 vdo->states.layout.num_partitions 0-4
PARAM_VALUE 5 vdo->states.vdo.config.logical_blocks 1-u64max
PARAM_VALUE 6 manager_ptr 4096-ptr_max
CAPPED_DATA 5 vdo->geometry.nonce 1
CAPPED_DATA 5 vdo->thread_config.thread_count 1
DATA_SOURCE 3 context $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 zones
NO_OVERFLOW_SIMPLE 5 vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 5 vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 5 vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 5 vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 5 vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 5 vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 5 vdo->thread_config.thread_count

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

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

drivers/md/dm-vdo/block-map.c vdo_decode_block_map() -> vdo_make_action_manager()

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

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

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