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/volume.c uds_free_volume() -> uds_free_sparse_cache()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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->zone_count

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

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->skip_threshold 1250-20000
PARAM_VALUE 0 cache->zone_count 1-16
BUF_SIZE 0 cache->geometry 96
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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