Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-vdo/indexer/sparse-cache.c uds_search_sparse_cache() -> search_cached_chapter_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chapter | 4096-ptr_max |
| PARAM_VALUE | 0 | chapter->virtual_chapter | 0-18446744073709551614 |
| PARAM_VALUE | 3 | name | 4096-ptr_max |
| PARAM_VALUE | 4 | record_page_ptr | 8946637713440034816 |
| PARAM_VALUE | 4 | *record_page_ptr | u16max |
| DATA_SOURCE | 3 | name | $1 |
| DATA_SOURCE | 4 | record_page_ptr | $3 |