Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/indexer/index.c rebuild_index() -> uds_find_volume_chapter_boundaries()

Type Parameter Key Value
PARAM_VALUE 0 volume 4096-ptr_max
PARAM_VALUE 0 volume->geometry.bytes_per_page 1-u32max
PARAM_VALUE 0 volume->geometry.chapter_address_bits 0-86,214-255
PARAM_VALUE 0 volume->geometry.chapter_delta_list_bits 0-59,251-255
PARAM_VALUE 0 volume->geometry.chapter_mean_delta 0,65536
PARAM_VALUE 0 volume->geometry.chapter_payload_bits 0-65
PARAM_VALUE 0 volume->geometry.records_per_volume 0-9223372036854775807
PARAM_VALUE 0 volume->lookup_mode 1
PARAM_VALUE 0 volume->nonce 0-255
PARAM_VALUE 0 volume->page_cache.clock.counter 1
PARAM_VALUE 0 volume->page_cache.zone_count 1-16
PARAM_VALUE 0 volume->read_thread_count 1-16
PARAM_VALUE 0 volume->read_threads_mutex.first_waiter 0
PARAM_VALUE 0 volume->read_threads_mutex.osq.tail.counter 0
PARAM_VALUE 0 volume->read_threads_mutex.owner.counter 0
PARAM_VALUE 1 lowest_vcn 7512415036194263040
PARAM_VALUE 2 highest_vcn 3287925500248461312
PARAM_VALUE 3 is_empty 4947425544225607680
PARAM_VALUE 3 *is_empty 0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 volume->page_cache.cache_slots
NO_OVERFLOW_SIMPLE 0 volume->page_cache.indexable_pages
NO_OVERFLOW_SIMPLE 0 volume->page_cache.zone_count