Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-vdo/indexer/index.c make_chapter_writer() -> free_chapter_writer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | writer | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->cond.wait_queue.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->cond.wait_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->cond.wait_queue.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->cond.wait_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->cond.wait_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index->layout | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index->load_context | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index->triage_queue | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index->volume | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index->volume_index | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index->zone_count | 1-16 |
| PARAM_VALUE | 0 | writer->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | writer->mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | writer->mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | writer->mutex.owner.counter | 0 |
| CAPPED_DATA | 0 | writer->index->zone_count | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | writer->index->zone_count |
drivers/md/dm-vdo/indexer/index.c make_chapter_writer() -> free_chapter_writer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | writer | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->cond.wait_queue.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->cond.wait_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->cond.wait_queue.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->cond.wait_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->cond.wait_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index->layout | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index->load_context | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index->triage_queue | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index->volume | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index->volume_index | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index->zone_count | 1-16 |
| PARAM_VALUE | 0 | writer->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | writer->mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | writer->mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | writer->mutex.owner.counter | 0 |
| CAPPED_DATA | 0 | writer->index->zone_count | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | writer->index->zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | writer->open_chapter_index->delta_index.zone_count |
drivers/md/dm-vdo/indexer/index.c make_chapter_writer() -> free_chapter_writer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | writer | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->cond.wait_queue.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->cond.wait_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->cond.wait_queue.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->cond.wait_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->cond.wait_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index->layout | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index->load_context | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index->triage_queue | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index->volume | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index->volume_index | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->index->zone_count | 1-16 |
| PARAM_VALUE | 0 | writer->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | writer->mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | writer->mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | writer->mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | writer->open_chapter_index | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->open_chapter_index->delta_index.mutable | 1 |
| PARAM_VALUE | 0 | writer->open_chapter_index->delta_index.tag | 109 |
| PARAM_VALUE | 0 | writer->open_chapter_index->delta_index.zone_count | 1 |
| PARAM_VALUE | 0 | writer->open_chapter_index->geometry | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | writer->open_chapter_index->volume_nonce | 0-255 |
| CAPPED_DATA | 0 | writer->index->zone_count | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | writer->index->zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | writer->open_chapter_index->delta_index.zone_count |
drivers/md/dm-vdo/indexer/index.c uds_free_index() -> free_chapter_writer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |