Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/dm-vdo-target.c decode_vdo() -> vdo_decode_block_map()

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