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 search_sparse_cache_in_zone() -> uds_search_sparse_cache()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | zone | 4096-ptr_max |
| PARAM_VALUE | 0 | zone->index | 4096-ptr_max |
| PARAM_VALUE | 0 | zone->index->volume | 4096-ptr_max |
| PARAM_VALUE | 0 | zone->index->volume->client->need_reserved_buffers | 0-4294967295 |
| PARAM_VALUE | 0 | zone->index->volume->geometry.sparse_chapters_per_volume | 1-u32max |
| PARAM_VALUE | 0 | zone->index->volume_index | 4096-ptr_max |
| PARAM_VALUE | 0 | zone->index->zone_count | 0-16 |
| PARAM_VALUE | 1 | name | 4096-ptr_max |
| PARAM_VALUE | 3 | record_page_ptr | 8946637713440034816 |
| DATA_SOURCE | 0 | zone | $0 |