Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 1 id 0
PARAM_VALUE 3 beginning 1
DATA_SOURCE 0 layout $5
DATA_SOURCE 2 size $2
HALF_LOCKED2 &md->type_lock

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

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->head 4096-ptr_max
PARAM_VALUE 0 layout->head->count 1-u64max
PARAM_VALUE 0 layout->head->id 0
PARAM_VALUE 1 id 3
PARAM_VALUE 3 beginning 0
DATA_SOURCE 0 layout $5
DATA_SOURCE 2 size $4
HALF_LOCKED2 &md->type_lock

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

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->head 4096-ptr_max
PARAM_VALUE 0 layout->head->count 1-u64max
PARAM_VALUE 0 layout->head->id 3
PARAM_VALUE 1 id 2
PARAM_VALUE 3 beginning 0
DATA_SOURCE 0 layout $5
DATA_SOURCE 2 size $3
HALF_LOCKED2 &md->type_lock

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

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->head 4096-ptr_max
PARAM_VALUE 0 layout->head->count 1-u64max
PARAM_VALUE 0 layout->head->id 2
PARAM_VALUE 1 id 1
PARAM_VALUE 2 size 0
PARAM_VALUE 3 beginning 1
DATA_SOURCE 0 layout $5
HALF_LOCKED2 &md->type_lock