Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/indexer/sparse-cache.c uds_make_sparse_cache() -> make_search_list()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
PARAM_VALUE 0 cache->begin_update_barrier.arrived 0
PARAM_VALUE 0 cache->begin_update_barrier.thread_count 1-16
PARAM_VALUE 0 cache->capacity 7
PARAM_VALUE 0 cache->chapters 4096-ptr_max
PARAM_VALUE 0 cache->end_update_barrier.arrived 0
PARAM_VALUE 0 cache->end_update_barrier.thread_count 1-16
PARAM_VALUE 0 cache->geometry 4096-ptr_max
PARAM_VALUE 0 cache->geometry->bytes_per_page 1-u32max
PARAM_VALUE 0 cache->geometry->sparse_chapters_per_volume 1-u32max
PARAM_VALUE 0 cache->search_lists 4096-ptr_max
PARAM_VALUE 0 cache->skip_threshold 1250-20000
PARAM_VALUE 0 cache->zone_count 1-16
PARAM_VALUE 1 list_ptr 4096-ptr_max
BUF_SIZE 0 cache->geometry 96
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 cache->begin_update_barrier.thread_count
NO_OVERFLOW_SIMPLE 0 cache->end_update_barrier.thread_count
NO_OVERFLOW_SIMPLE 0 cache->geometry->records_per_page
NO_OVERFLOW_SIMPLE 0 cache->zone_count