Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/indexer/index.c open_next_chapter() -> announce_chapter_closed()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->index 4096-ptr_max
PARAM_VALUE 0 zone->index->chapter_writer 4096-ptr_max
PARAM_VALUE 0 zone->index->volume_index 4096-ptr_max
PARAM_VALUE 0 zone->index->zone_count 2-u32max
PARAM_VALUE 0 zone->open_chapter 4096-ptr_max
PARAM_VALUE 0 zone->open_chapter->deletions 0
PARAM_VALUE 0 zone->open_chapter->size 0
PARAM_VALUE 0 zone->writing_chapter 4096-ptr_max
CAPPED_DATA 1 closed_chapter 1
CAPPED_DATA 1 closed_chapter 1
DATA_SOURCE 0 zone $0
MEM_ZERO 0 zone->open_chapter->records
MEM_ZERO 0 zone->open_chapter->slots