Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/indexer/index-layout.c reconstitute_layout() -> verify_sub_index()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->config.instance u16max
PARAM_VALUE 0 layout->config.kind 100
PARAM_VALUE 0 layout->factory 4096-ptr_max
PARAM_VALUE 0 layout->factory->ref_count.counter s32min-s32max
PARAM_VALUE 0 layout->header.instance u16max
PARAM_VALUE 0 layout->header.kind 1
PARAM_VALUE 0 layout->super.block_size 4096
PARAM_VALUE 0 layout->super.index_count 1
PARAM_VALUE 0 layout->super.nonce 0-255
PARAM_VALUE 0 layout->super.open_chapter_blocks 0-255
PARAM_VALUE 0 layout->super.page_map_blocks 0-255
PARAM_VALUE 0 layout->super.start_offset 0-255
PARAM_VALUE 0 layout->super.version 3,7
PARAM_VALUE 0 layout->super.volume_offset 0-255
PARAM_VALUE 2 table 4096-ptr_max
PARAM_VALUE 2 table->header.type 1
PARAM_VALUE 2 table->regions 4096-ptr_max
BUF_SIZE 2 table 0
CAPPED_DATA 0 layout->config.start_block 1
CAPPED_DATA 0 layout->header.start_block 1
CAPPED_DATA 0 layout->super.volume_offset 1
DATA_SOURCE 0 layout $0
DATA_SOURCE 2 table $1
BIT_INFO 2 table 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 layout->super.max_saves
NO_OVERFLOW_SIMPLE 2 table->header.payload