Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/dm-vdo/dm-vdo-target.c grow_layout() -> vdo_initialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 size 1-u64max
PARAM_VALUE 5 layout 4096-ptr_max
PARAM_VALUE 5 layout->first_free 0
PARAM_VALUE 5 layout->head 0
PARAM_VALUE 5 layout->last_free 0
PARAM_VALUE 5 layout->num_partitions 0
PARAM_VALUE 5 layout->size 0
PARAM_VALUE 5 layout->start 0
CAPPED_DATA 0 size 1
CAPPED_DATA 0 size 1
DATA_SOURCE 0 size $2
NOSPEC 0 size
NOSPEC 0 size
MEM_ZERO 5 layout
USER_DATA 0 size 1-u64max[c]
NO_OVERFLOW_SIMPLE 0 size
HALF_LOCKED2 &md->type_lock

drivers/md/dm-vdo/encodings.c vdo_initialize_component_states() -> vdo_initialize_layout()

Type Parameter Key Value
PARAM_VALUE 2 block_map_blocks 60
PARAM_VALUE 3 journal_blocks 32768
PARAM_VALUE 4 summary_blocks 64
PARAM_VALUE 5 layout 4096-ptr_max
USER_DATA 0 size 0-u64max
NO_OVERFLOW_SIMPLE 0 size
HALF_LOCKED2 &md->type_lock