Open Menu /

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/indexer/index.c open_next_chapter() -> uds_set_volume_index_zone_open_chapter()

Type Parameter Key Value
NOCHECK_CALL

drivers/md/dm-vdo/indexer/volume-index.c uds_set_volume_index_open_chapter() -> uds_set_volume_index_zone_open_chapter()

Type Parameter Key Value
PARAM_VALUE 0 volume_index 4096-ptr_max
PARAM_VALUE 0 volume_index->sparse_sample_rate 0-255
PARAM_VALUE 0 volume_index->vi_hook.address_bits 0-31
PARAM_VALUE 0 volume_index->vi_hook.chapter_bits 0-33
PARAM_VALUE 0 volume_index->vi_hook.chapter_zone_bits 0-u32max
PARAM_VALUE 0 volume_index->vi_hook.list_count 0,256-u32max
PARAM_VALUE 0 volume_index->vi_hook.zone_count 0-16
PARAM_VALUE 0 volume_index->vi_non_hook.address_bits 1-31
PARAM_VALUE 0 volume_index->vi_non_hook.chapter_bits 1-33
PARAM_VALUE 0 volume_index->vi_non_hook.chapter_zone_bits 0-u32max
PARAM_VALUE 0 volume_index->vi_non_hook.delta_index.list_count 256-u32max
PARAM_VALUE 0 volume_index->vi_non_hook.delta_index.mutable 1
PARAM_VALUE 0 volume_index->vi_non_hook.delta_index.tag 100,109
PARAM_VALUE 0 volume_index->vi_non_hook.delta_index.zone_count 1-16
PARAM_VALUE 0 volume_index->vi_non_hook.list_count 256-u32max
PARAM_VALUE 0 volume_index->vi_non_hook.volume_nonce 0-255
PARAM_VALUE 0 volume_index->vi_non_hook.zone_count 1-16
PARAM_VALUE 0 volume_index->zone_count 1-16
PARAM_VALUE 1 zone_number 0-15
CAPPED_DATA 1 zone_number 1
CAPPED_DATA 2 virtual_chapter 1
CAPPED_DATA 2 virtual_chapter 1
DATA_SOURCE 0 volume_index $0
DATA_SOURCE 2 virtual_chapter $1
PARAM_COMPARE 0 volume_index->zone_count > $1
PARAM_COMPARE 1 zone_number < $0->zone_count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 volume_index->vi_hook.delta_index.zone_count
NO_OVERFLOW_SIMPLE 0 volume_index->vi_hook.zone_count
NO_OVERFLOW_SIMPLE 0 volume_index->vi_non_hook.delta_index.zone_count
NO_OVERFLOW_SIMPLE 0 volume_index->vi_non_hook.zone_count
NO_OVERFLOW_SIMPLE 0 volume_index->zone_count
NO_OVERFLOW_SIMPLE 1 zone_number