Open Menu /

Documented in 1 files:

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 vdo_initialize() -> vdo_make()

Type Parameter Key Value
PARAM_VALUE 0 instance 0-64
PARAM_VALUE 1 config 4096-ptr_max
PARAM_VALUE 1 config->index_memory (-768),(-512),(-256),0-1024
PARAM_VALUE 1 config->logical_block_size 512,4096
PARAM_VALUE 1 config->logical_blocks 0-1099511627776
PARAM_VALUE 1 config->max_discard_blocks 1-1048575
PARAM_VALUE 1 config->owning_target 4096-ptr_max
PARAM_VALUE 1 config->slab_blocks 8192-8388608
PARAM_VALUE 1 config->thread_counts.bio_ack_threads 0-100
PARAM_VALUE 1 config->thread_counts.bio_rotation_interval 1-1024
PARAM_VALUE 1 config->thread_counts.bio_threads 1-100
PARAM_VALUE 1 config->thread_counts.cpu_threads 1-100
PARAM_VALUE 1 config->thread_counts.hash_zones 0-100
PARAM_VALUE 1 config->thread_counts.logical_zones 0-60
PARAM_VALUE 1 config->thread_counts.physical_zones 0-16
PARAM_VALUE 1 config->version 0-4
PARAM_VALUE 2 reason 4096-ptr_max
PARAM_VALUE 2 *reason 6178336389065121792
PARAM_VALUE 2 *(*reason) 0
PARAM_VALUE 3 vdo_ptr 4981840359158657024
PARAM_VALUE 3 *vdo_ptr 0
DATA_SOURCE 0 instance $1
DATA_SOURCE 1 config $2
TERMINATED 2 *reason 1
TERMINATED 2 *(*reason) 1
USER_DATA 1 config->physical_blocks 0-u64max
NO_OVERFLOW_SIMPLE 1 config->index_memory
NO_OVERFLOW_SIMPLE 1 config->max_discard_blocks
NO_OVERFLOW_SIMPLE 1 config->thread_counts.bio_ack_threads
NO_OVERFLOW_SIMPLE 1 config->thread_counts.bio_rotation_interval
NO_OVERFLOW_SIMPLE 1 config->thread_counts.bio_threads
NO_OVERFLOW_SIMPLE 1 config->thread_counts.cpu_threads
NO_OVERFLOW_SIMPLE 1 config->thread_counts.hash_zones
NO_OVERFLOW_SIMPLE 1 config->thread_counts.logical_zones
NO_OVERFLOW_SIMPLE 1 config->thread_counts.physical_zones