Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/md/dm-vdo/indexer/delta-index.c flush_delta_list() -> uds_write_to_buffered_writer()

Type Parameter Key Value
PARAM_VALUE 0 writer->error 0-4095
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 length 8
BUF_SIZE 1 data 8
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/delta-index.c flush_delta_list() -> uds_write_to_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
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 length 0-u16max
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/delta-index.c uds_start_saving_delta_index() -> uds_write_to_buffered_writer()

Type Parameter Key Value
PARAM_VALUE 0 writer 4096-ptr_max
PARAM_VALUE 0 writer->error 0-4095
PARAM_VALUE 1 data 6816150742833688576
PARAM_VALUE 2 length 40
BUF_SIZE 1 data 40
DATA_SOURCE 0 writer $2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/delta-index.c uds_start_saving_delta_index() -> uds_write_to_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
PARAM_VALUE 1 data 3940374504832311296
PARAM_VALUE 2 length 2
BUF_SIZE 1 data 2
DATA_SOURCE 0 writer $2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/delta-index.c uds_write_guard_delta_list() -> uds_write_to_buffered_writer()

Type Parameter Key Value
PARAM_VALUE 1 data 2117824009544347648
PARAM_VALUE 2 length 8
BUF_SIZE 1 data 8
DATA_SOURCE 0 writer $0
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/open-chapter.c uds_save_open_chapter() -> uds_write_to_buffered_writer()

Type Parameter Key Value
PARAM_VALUE 1 data 7035889259941064704
PARAM_VALUE 2 length 5
BUF_SIZE 1 data 6
DATA_SOURCE 0 writer $1
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/open-chapter.c uds_save_open_chapter() -> uds_write_to_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
PARAM_VALUE 1 data 5209579635452203008
PARAM_VALUE 2 length 5
BUF_SIZE 1 data 6
DATA_SOURCE 0 writer $1
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/open-chapter.c uds_save_open_chapter() -> uds_write_to_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
PARAM_VALUE 1 data 5080521583392325632
PARAM_VALUE 2 length 4
BUF_SIZE 1 data 4
DATA_SOURCE 0 writer $1
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/open-chapter.c uds_save_open_chapter() -> uds_write_to_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
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 length 32
DATA_SOURCE 0 writer $1
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/index-layout.c uds_discard_open_chapter() -> uds_write_to_buffered_writer()

Type Parameter Key Value
PARAM_VALUE 0 writer 4096-ptr_max
PARAM_VALUE 0 writer->client 0
PARAM_VALUE 0 writer->error 0-4095
PARAM_VALUE 0 writer->factory 0
PARAM_VALUE 0 writer->limit 0
PARAM_VALUE 1 data 0
PARAM_VALUE 2 length 4096

drivers/md/dm-vdo/indexer/index-layout.c write_index_save_header() -> uds_write_to_buffered_writer()

Type Parameter Key Value
PARAM_VALUE 0 writer 4096-ptr_max
PARAM_VALUE 0 writer->client 0
PARAM_VALUE 0 writer->error 0-4095
PARAM_VALUE 0 writer->factory 0
PARAM_VALUE 0 writer->limit 0
DATA_SOURCE 0 writer $2
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/index-layout.c write_layout_header() -> uds_write_to_buffered_writer()

Type Parameter Key Value
PARAM_VALUE 0 writer 4096-ptr_max
PARAM_VALUE 0 writer->client 0
PARAM_VALUE 0 writer->error 0-4095
PARAM_VALUE 0 writer->factory 0
PARAM_VALUE 0 writer->limit 0
DATA_SOURCE 0 writer $2
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/config.c uds_write_config_contents() -> uds_write_to_buffered_writer()

Type Parameter Key Value
PARAM_VALUE 0 writer 4096-ptr_max
PARAM_VALUE 0 writer->client 0
PARAM_VALUE 0 writer->error 0-4095
PARAM_VALUE 0 writer->factory 0
PARAM_VALUE 0 writer->limit 0
PARAM_VALUE 1 data 7224827089309487104
PARAM_VALUE 2 length 5
BUF_SIZE 1 data 6
DATA_SOURCE 0 writer $0
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/config.c uds_write_config_contents() -> uds_write_to_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
PARAM_VALUE 1 data 659074215097286656
PARAM_VALUE 2 length 5
BUF_SIZE 1 data 6
DATA_SOURCE 0 writer $0
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/config.c uds_write_config_contents() -> uds_write_to_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
PARAM_VALUE 1 data 5395718110822125568
PARAM_VALUE 2 length 5
BUF_SIZE 1 data 6
DATA_SOURCE 0 writer $0
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/config.c uds_write_config_contents() -> uds_write_to_buffered_writer()

Type Parameter Key Value
PARAM_VALUE 0 writer 4096-ptr_max
PARAM_VALUE 0 writer->client 0
PARAM_VALUE 0 writer->client->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
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
PARAM_VALUE 1 data 2157719936501235712
PARAM_VALUE 2 length 40,56
BUF_SIZE 1 data 56
DATA_SOURCE 0 writer $0
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/index-page-map.c uds_write_index_page_map() -> uds_write_to_buffered_writer()

Type Parameter Key Value
PARAM_VALUE 0 writer 4096-ptr_max
PARAM_VALUE 2 length 16,18,20
DATA_SOURCE 0 writer $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/volume-index.c start_saving_volume_index() -> uds_write_to_buffered_writer()

Type Parameter Key Value
PARAM_VALUE 1 data 7062462125646958592
PARAM_VALUE 2 length 12
BUF_SIZE 1 data 12
DATA_SOURCE 0 writer $2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/volume-index.c start_saving_volume_sub_index() -> uds_write_to_buffered_writer()

Type Parameter Key Value
PARAM_VALUE 1 data 8109832090280071168
PARAM_VALUE 2 length 40
BUF_SIZE 1 data 40
DATA_SOURCE 0 writer $2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/volume-index.c start_saving_volume_sub_index() -> uds_write_to_buffered_writer()

Type Parameter Key Value
PARAM_VALUE 0 writer 4096-ptr_max
PARAM_VALUE 0 writer->error 0-4095
PARAM_VALUE 0 *writer->start 0-255
PARAM_VALUE 1 data 2044641740111425536
PARAM_VALUE 2 length 8
BUF_SIZE 1 data 8
DATA_SOURCE 0 writer $2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte