Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/md/dm-vdo/indexer/index-layout.c
- drivers/md/dm-vdo/indexer/index-page-map.c, line 136
- drivers/md/dm-vdo/indexer/io-factory.c, line 403
- drivers/md/dm-vdo/indexer/open-chapter.c, line 343
- drivers/md/dm-vdo/indexer/volume-index.c, line 1123
Smatch caller information:
drivers/md/dm-vdo/indexer/open-chapter.c uds_save_open_chapter() -> uds_flush_buffered_writer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | writer | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->error | 0-4095 |
| PARAM_VALUE | 0 | *writer->end | 0-255 |
| PARAM_VALUE | 0 | *writer->start | 0-255 |
| DATA_SOURCE | 0 | writer | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/indexer/io-factory.c uds_write_to_buffered_writer() -> uds_flush_buffered_writer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | writer | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->buffer | 1-u64max |
| PARAM_VALUE | 0 | writer->end | 4096-u64max |
| DATA_SOURCE | 0 | writer | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/indexer/index-layout.c uds_discard_open_chapter() -> uds_flush_buffered_writer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | writer | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->client | 0 |
| PARAM_VALUE | 0 | writer->client->cache.num_locks | 0-4294967295 |
| PARAM_VALUE | 0 | writer->client->lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | writer->client->need_reserved_buffers | 0-4294967295 |
| PARAM_VALUE | 0 | writer->error | 0-4095 |
| PARAM_VALUE | 0 | writer->factory | 0 |
| PARAM_VALUE | 0 | writer->limit | 0 |
| PARAM_VALUE | 0 | *writer->end | 0-255 |
| PARAM_VALUE | 0 | *writer->start | 0-255 |
drivers/md/dm-vdo/indexer/index-layout.c write_index_save_header() -> uds_flush_buffered_writer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | writer | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->client | 0 |
| PARAM_VALUE | 0 | writer->client->cache.num_locks | 0-4294967295 |
| PARAM_VALUE | 0 | writer->client->lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | writer->client->need_reserved_buffers | 0-4294967295 |
| PARAM_VALUE | 0 | writer->error | 0-4095 |
| PARAM_VALUE | 0 | writer->factory | 0 |
| PARAM_VALUE | 0 | writer->limit | 0 |
| PARAM_VALUE | 0 | *writer->end | 0-255 |
| PARAM_VALUE | 0 | *writer->start | 0-255 |
| DATA_SOURCE | 0 | writer | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/indexer/index-layout.c write_layout_header() -> uds_flush_buffered_writer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | writer | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->client | 0 |
| PARAM_VALUE | 0 | writer->client->cache.num_locks | 0-4294967295 |
| PARAM_VALUE | 0 | writer->client->lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | writer->client->need_reserved_buffers | 0-4294967295 |
| PARAM_VALUE | 0 | writer->error | 0-4095 |
| PARAM_VALUE | 0 | writer->factory | 0 |
| PARAM_VALUE | 0 | writer->limit | 0 |
| PARAM_VALUE | 0 | *writer->end | 0-255 |
| PARAM_VALUE | 0 | *writer->start | 0-255 |
| DATA_SOURCE | 0 | writer | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/indexer/index-layout.c write_uds_index_config() -> uds_flush_buffered_writer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | writer | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->buffer | 0 |
| PARAM_VALUE | 0 | writer->error | 0-4095 |
| PARAM_VALUE | 0 | *writer->end | 0-255 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/indexer/index-page-map.c uds_write_index_page_map() -> uds_flush_buffered_writer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | writer | 4096-ptr_max |
| PARAM_VALUE | 0 | writer->error | 0-4095 |
| PARAM_VALUE | 0 | *writer->end | 0-255 |
| PARAM_VALUE | 0 | *writer->start | 0-255 |
| DATA_SOURCE | 0 | writer | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/indexer/volume-index.c uds_save_volume_index() -> uds_flush_buffered_writer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | writer | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |