Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/indexer/index-layout.c save_layout() -> write_layout_header()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->factory 4096-ptr_max
PARAM_VALUE 0 layout->factory->ref_count.counter s32min-s32max
PARAM_VALUE 0 layout->index.saves 4096-ptr_max
PARAM_VALUE 0 layout->super->magic_label 0-255
PARAM_VALUE 0 layout->super.block_size 4096
PARAM_VALUE 0 layout->super.index_count 1
PARAM_VALUE 0 layout->super.magic_label 0
PARAM_VALUE 0 layout->super.max_saves 2
PARAM_VALUE 0 layout->super.nonce 0-255
PARAM_VALUE 0 layout->super.nonce_info 0
PARAM_VALUE 0 layout->super.open_chapter_blocks 1-33554432
PARAM_VALUE 0 layout->super.page_map_blocks 1-2097153
PARAM_VALUE 0 layout->super.start_offset 0
PARAM_VALUE 0 layout->super.version 3
PARAM_VALUE 0 layout->super.volume_offset 0
PARAM_VALUE 0 layout->total_blocks 0
PARAM_VALUE 1 table 4096-ptr_max
PARAM_VALUE 1 table->encoded_size 296,312
PARAM_VALUE 1 table->header.magic 0-255
PARAM_VALUE 1 table->header.region_blocks 0-255
PARAM_VALUE 2 writer 4096-ptr_max
PARAM_VALUE 2 writer->error 1-4095
DATA_SOURCE 0 layout $0
MEM_ZERO 0 &layout->super
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 layout->super.max_saves