Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/indexer/index-layout.c save_layout() -> uds_free_buffered_writer()

Type Parameter Key Value
PARAM_VALUE 0 writer 4096-ptr_max
PARAM_VALUE 0 writer->error 0-4095
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c uds_discard_open_chapter() -> uds_free_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 0 *writer->end 0-255
PARAM_VALUE 0 *writer->start 0-255
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c uds_discard_open_chapter() -> uds_free_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
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c uds_save_index_state() -> uds_free_buffered_writer()

Type Parameter Key Value
PARAM_VALUE 0 writer 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c uds_save_index_state() -> uds_free_buffered_writer()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c uds_save_index_state() -> uds_free_buffered_writer()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c uds_save_index_state() -> uds_free_buffered_writer()

Type Parameter Key Value
PARAM_VALUE 0 writer 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c write_index_save_layout() -> uds_free_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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c write_uds_index_config() -> uds_free_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
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c write_uds_index_config() -> uds_free_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
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c write_uds_index_config() -> uds_free_buffered_writer()

Type Parameter Key Value
PARAM_VALUE 0 writer 4096-ptr_max
PARAM_VALUE 0 writer->buffer 0
PARAM_VALUE 0 writer->end 0
PARAM_VALUE 0 writer->error 0
PARAM_VALUE 0 writer->limit 0
PARAM_VALUE 0 writer->start 0
PARAM_VALUE 0 *writer->buffer->data (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *writer->end 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL