uds_free_volume identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/md/dm-vdo/indexer/volume.h, line 129 (as a prototype)

Defined in 1 files as a function:

drivers/md/dm-vdo/indexer/volume.c, line 1656 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/md/dm-vdo/indexer/volume.c uds_make_volume() -> uds_free_volume()

Type	Parameter	Key	Value
PARAM_VALUE	0	volume	4096-ptr_max
PARAM_VALUE	0	volume->nonce	0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/volume.c uds_make_volume() -> uds_free_volume()

Type	Parameter	Key	Value
PARAM_VALUE	0	volume	4096-ptr_max
PARAM_VALUE	0	volume->client	4096-ptr_max
PARAM_VALUE	0	volume->geometry.bytes_per_page	1-u32max
PARAM_VALUE	0	volume->nonce	0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/volume.c uds_make_volume() -> uds_free_volume()

Type	Parameter	Key	Value
PARAM_VALUE	0	volume	4096-ptr_max
PARAM_VALUE	0	volume->client	4096-ptr_max
PARAM_VALUE	0	volume->geometry.bytes_per_page	1-u32max
PARAM_VALUE	0	volume->nonce	0-255
PARAM_VALUE	0	volume->radix_sorter	4096-ptr_max
PARAM_VALUE	0	volume->radix_sorter->bins.first	0-255
PARAM_VALUE	0	volume->radix_sorter->bins.last	0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/volume.c uds_make_volume() -> uds_free_volume()

Type	Parameter	Key	Value
PARAM_VALUE	0	volume	4096-ptr_max
PARAM_VALUE	0	volume->client	4096-ptr_max
PARAM_VALUE	0	volume->geometry.bytes_per_page	1-u32max
PARAM_VALUE	0	volume->geometry.sparse_chapters_per_volume	1-u32max
PARAM_VALUE	0	volume->nonce	0-255
PARAM_VALUE	0	volume->radix_sorter	4096-ptr_max
PARAM_VALUE	0	volume->radix_sorter->bins.first	0-255
PARAM_VALUE	0	volume->radix_sorter->bins.last	0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	volume->sparse_cache->begin_update_barrier.thread_count
NO_OVERFLOW_SIMPLE	0	volume->sparse_cache->end_update_barrier.thread_count
NO_OVERFLOW_SIMPLE	0	volume->sparse_cache->zone_count

drivers/md/dm-vdo/indexer/volume.c uds_make_volume() -> uds_free_volume()

Type	Parameter	Key	Value
PARAM_VALUE	0	volume	4096-ptr_max
PARAM_VALUE	0	volume->client	4096-ptr_max
PARAM_VALUE	0	volume->geometry.bytes_per_page	1-u32max
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->radix_sorter	4096-ptr_max
PARAM_VALUE	0	volume->radix_sorter->bins.first	0-255
PARAM_VALUE	0	volume->radix_sorter->bins.last	0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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
NO_OVERFLOW_SIMPLE	0	volume->sparse_cache->begin_update_barrier.thread_count
NO_OVERFLOW_SIMPLE	0	volume->sparse_cache->end_update_barrier.thread_count
NO_OVERFLOW_SIMPLE	0	volume->sparse_cache->zone_count

drivers/md/dm-vdo/indexer/volume.c uds_make_volume() -> uds_free_volume()

Type	Parameter	Key	Value
PARAM_VALUE	0	volume	4096-ptr_max
PARAM_VALUE	0	volume->client	4096-ptr_max
PARAM_VALUE	0	volume->geometry.bytes_per_page	1-u32max
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->radix_sorter	4096-ptr_max
PARAM_VALUE	0	volume->radix_sorter->bins.first	0-255
PARAM_VALUE	0	volume->radix_sorter->bins.last	0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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
NO_OVERFLOW_SIMPLE	0	volume->sparse_cache->begin_update_barrier.thread_count
NO_OVERFLOW_SIMPLE	0	volume->sparse_cache->end_update_barrier.thread_count
NO_OVERFLOW_SIMPLE	0	volume->sparse_cache->zone_count

drivers/md/dm-vdo/indexer/volume.c uds_make_volume() -> uds_free_volume()

Type	Parameter	Key	Value
PARAM_VALUE	0	volume	4096-ptr_max
PARAM_VALUE	0	volume->client	4096-ptr_max
PARAM_VALUE	0	volume->geometry.bytes_per_page	1-u32max
PARAM_VALUE	0	volume->index_page_map	4096-ptr_max
PARAM_VALUE	0	volume->index_page_map->geometry	s64min-(-4096),4096-s64max
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->radix_sorter	4096-ptr_max
PARAM_VALUE	0	volume->radix_sorter->bins.first	0-255
PARAM_VALUE	0	volume->radix_sorter->bins.last	0-255
PARAM_VALUE	0	volume->read_threads_cond.wait_queue.head.next	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_cond.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_cond.wait_queue.head.prev	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_cond.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_cond.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_mutex.dep_map->name	0-255
PARAM_VALUE	0	volume->read_threads_mutex.first_waiter	0
PARAM_VALUE	0	volume->read_threads_mutex.magic	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_mutex.osq.tail.counter	0
PARAM_VALUE	0	volume->read_threads_mutex.owner.counter	0
PARAM_VALUE	0	volume->read_threads_read_done_cond.wait_queue.head.next	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_read_done_cond.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_read_done_cond.wait_queue.head.prev	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_read_done_cond.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_read_done_cond.wait_queue.head.prev->prev	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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
NO_OVERFLOW_SIMPLE	0	volume->sparse_cache->begin_update_barrier.thread_count
NO_OVERFLOW_SIMPLE	0	volume->sparse_cache->end_update_barrier.thread_count
NO_OVERFLOW_SIMPLE	0	volume->sparse_cache->zone_count

drivers/md/dm-vdo/indexer/volume.c uds_make_volume() -> uds_free_volume()

Type	Parameter	Key	Value
PARAM_VALUE	0	volume	4096-ptr_max
PARAM_VALUE	0	volume->client	4096-ptr_max
PARAM_VALUE	0	volume->geometry.bytes_per_page	1-u32max
PARAM_VALUE	0	volume->index_page_map	4096-ptr_max
PARAM_VALUE	0	volume->index_page_map->geometry	s64min-(-4096),4096-s64max
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->radix_sorter	4096-ptr_max
PARAM_VALUE	0	volume->radix_sorter->bins.first	0-255
PARAM_VALUE	0	volume->radix_sorter->bins.last	0-255
PARAM_VALUE	0	volume->read_threads_cond.wait_queue.head.next	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_cond.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_cond.wait_queue.head.prev	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_cond.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_cond.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_mutex.dep_map->name	0-255
PARAM_VALUE	0	volume->read_threads_mutex.first_waiter	0
PARAM_VALUE	0	volume->read_threads_mutex.magic	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_mutex.osq.tail.counter	0
PARAM_VALUE	0	volume->read_threads_mutex.owner.counter	0
PARAM_VALUE	0	volume->read_threads_read_done_cond.wait_queue.head.next	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_read_done_cond.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_read_done_cond.wait_queue.head.prev	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_read_done_cond.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	volume->read_threads_read_done_cond.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	volume->reader_threads	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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
NO_OVERFLOW_SIMPLE	0	volume->sparse_cache->begin_update_barrier.thread_count
NO_OVERFLOW_SIMPLE	0	volume->sparse_cache->end_update_barrier.thread_count
NO_OVERFLOW_SIMPLE	0	volume->sparse_cache->zone_count

drivers/md/dm-vdo/indexer/index.c uds_free_index() -> uds_free_volume()

Type	Parameter	Key
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	volume->client->block_size
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