Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-vdo/indexer/index.c announce_chapter_closed() -> launch_zone_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | zone | 0-15 |
| PARAM_VALUE | 2 | index | 4096-ptr_max |
| PARAM_VALUE | 2 | index->chapter_writer | 4096-ptr_max |
| PARAM_VALUE | 2 | index->volume->sparse_cache->zone_count | 0-4294967295 |
| PARAM_VALUE | 2 | index->volume_index | 4096-ptr_max |
| PARAM_VALUE | 2 | index->zone_count | 2-16 |
| CAPPED_DATA | 1 | zone | 1 |
| PARAM_COMPARE | 1 | zone | < $2->zone_count |
drivers/md/dm-vdo/indexer/index.c enqueue_barrier_messages() -> launch_zone_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | index | 4096-ptr_max |
| PARAM_VALUE | 2 | index->volume_index | 4096-ptr_max |
| PARAM_VALUE | 2 | index->volume_index->sparse_sample_rate | 1-u32max |
| PARAM_VALUE | 2 | index->zone_count | 1-u32max |
| CAPPED_DATA | 1 | zone | 1 |
| CAPPED_DATA | 2 | index->volume_index->vi_hook.delta_index.list_count | 1 |
| DATA_SOURCE | 2 | index | $0 |
| PARAM_COMPARE | 1 | zone | < $2->zone_count |
| PARAM_COMPARE | 2 | index->zone_count | > $1 |