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/indexer/index.c uds_make_index() -> uds_make_volume()

Type Parameter Key Value
PARAM_VALUE 0 config 4096-ptr_max
PARAM_VALUE 0 config->cache_chapters 7
PARAM_VALUE 0 config->geometry 4096-ptr_max
PARAM_VALUE 0 config->geometry.chapter_address_bits 0-86,214-255
PARAM_VALUE 0 config->geometry.chapter_delta_list_bits 0-59,251-255
PARAM_VALUE 0 config->geometry.chapter_mean_delta 0,65536
PARAM_VALUE 0 config->geometry.chapter_payload_bits 0-65
PARAM_VALUE 0 config->geometry.records_per_volume 0-9223372036854775807
PARAM_VALUE 0 config->read_threads 1-16
PARAM_VALUE 0 config->sparse_sample_rate 0,32
PARAM_VALUE 0 config->volume_index_mean_delta 4096
PARAM_VALUE 0 config->zone_count 1-16
PARAM_VALUE 1 layout 4096-ptr_max
PARAM_VALUE 1 layout->index.nonce 0-255
PARAM_VALUE 1 layout->super.block_size 4096
PARAM_VALUE 1 layout->super.index_count 1
PARAM_VALUE 1 layout->super.max_saves 2
PARAM_VALUE 1 layout->super.nonce 0-255
PARAM_VALUE 1 layout->super.open_chapter_blocks 1-33554432
PARAM_VALUE 1 layout->super.page_map_blocks 1-2097153
PARAM_VALUE 1 layout->super.start_offset 0
PARAM_VALUE 1 layout->super.version 3
PARAM_VALUE 1 layout->super.volume_offset 0
PARAM_VALUE 2 new_volume 4096-ptr_max
CAPPED_DATA 0 config->sparse_sample_rate 1
DATA_SOURCE 0 config $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 config->zone_count
NO_OVERFLOW_SIMPLE 1 layout->super.max_saves