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 restore_delta_list_data() -> uds_read_from_buffered_reader()

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

drivers/md/dm-vdo/indexer/delta-index.c restore_delta_list_data() -> uds_read_from_buffered_reader()

Type Parameter Key Value
PARAM_VALUE 0 reader->client->need_reserved_buffers 0-4294967295
PARAM_VALUE 0 *reader->end 0-255
PARAM_VALUE 2 length 0-8199
DATA_SOURCE 0 reader $2
DATA_SOURCE 1 data $3
FUZZY_MAX 2 length 8199
HARD_MAX 2 length 8199
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 reader->client->slab_cache->object_size
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/delta-index.c uds_check_guard_delta_lists() -> uds_read_from_buffered_reader()

Type Parameter Key Value
PARAM_VALUE 1 data 2709548224352079872
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 uds_start_restoring_delta_index() -> uds_read_from_buffered_reader()

Type Parameter Key Value
PARAM_VALUE 1 data 6836581889788919808
PARAM_VALUE 2 length 40
BUF_SIZE 1 data 40
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/delta-index.c uds_start_restoring_delta_index() -> uds_read_from_buffered_reader()

Type Parameter Key Value
PARAM_VALUE 1 data 7886109529477713920
PARAM_VALUE 2 length 2
BUF_SIZE 1 data 2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/open-chapter.c load_version20() -> uds_read_from_buffered_reader()

Type Parameter Key Value
PARAM_VALUE 0 reader 4096-ptr_max
PARAM_VALUE 0 reader->client->need_reserved_buffers 0-4294967295
PARAM_VALUE 0 *reader->end 0-255
PARAM_VALUE 1 data 5351394069933727744
PARAM_VALUE 2 length 4
BUF_SIZE 1 data 4
DATA_SOURCE 0 reader $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 reader->client->slab_buffer->object_size
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/open-chapter.c load_version20() -> uds_read_from_buffered_reader()

Type Parameter Key Value
PARAM_VALUE 0 reader 4096-ptr_max
PARAM_VALUE 0 reader->client->need_reserved_buffers 0-4294967295
PARAM_VALUE 0 *reader->end 0-255
PARAM_VALUE 1 data 2939664022062874624
PARAM_VALUE 2 length 32
BUF_SIZE 1 data 32
DATA_SOURCE 0 reader $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 reader->client->slab_buffer->object_size
NO_OVERFLOW_SIMPLE 0 reader->client->slab_cache->object_size
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/open-chapter.c uds_load_open_chapter() -> uds_read_from_buffered_reader()

Type Parameter Key Value
PARAM_VALUE 0 reader 4096-ptr_max
PARAM_VALUE 0 reader->client->need_reserved_buffers 0-4294967295
PARAM_VALUE 0 *reader->end 0-255
PARAM_VALUE 1 data 1612000752611786752
PARAM_VALUE 2 length 5
BUF_SIZE 1 data 5
DATA_SOURCE 0 reader $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 reader->client->slab_cache->object_size
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/index-layout.c load_region_table() -> uds_read_from_buffered_reader()

Type Parameter Key Value
PARAM_VALUE 0 reader 4096-ptr_max
PARAM_VALUE 0 reader->client 0
PARAM_VALUE 0 reader->factory 0
PARAM_VALUE 0 reader->limit 0
PARAM_VALUE 1 data 4378815575748210688
PARAM_VALUE 2 length 24
BUF_SIZE 1 data 24
DATA_SOURCE 0 reader $0
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/index-layout.c load_region_table() -> uds_read_from_buffered_reader()

Type Parameter Key Value
PARAM_VALUE 0 reader 4096-ptr_max
PARAM_VALUE 0 reader->client 0
PARAM_VALUE 0 reader->client->need_reserved_buffers 0-4294967295
PARAM_VALUE 0 reader->factory 0
PARAM_VALUE 0 reader->limit 0
PARAM_VALUE 0 *reader->end 0-255
PARAM_VALUE 1 data 4187046941134864384
PARAM_VALUE 2 length 24
BUF_SIZE 1 data 24
DATA_SOURCE 0 reader $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 reader->client->slab_cache->object_size
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/index-layout.c read_index_save_data() -> uds_read_from_buffered_reader()

Type Parameter Key Value
PARAM_VALUE 0 reader 4096-ptr_max
PARAM_VALUE 0 reader->client 0
PARAM_VALUE 0 reader->factory 0
PARAM_VALUE 0 reader->limit 0
PARAM_VALUE 0 *reader->end 0-255
PARAM_VALUE 1 data 2530205200528203776
PARAM_VALUE 2 length 64
BUF_SIZE 1 data 64
DATA_SOURCE 0 reader $0
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/index-layout.c read_super_block_data() -> uds_read_from_buffered_reader()

Type Parameter Key Value
PARAM_VALUE 0 reader 4096-ptr_max
PARAM_VALUE 0 reader->client 0
PARAM_VALUE 0 reader->factory 0
PARAM_VALUE 0 reader->limit 0
PARAM_VALUE 0 *reader->end 0-255
DATA_SOURCE 0 reader $0
DATA_SOURCE 2 length $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 length

drivers/md/dm-vdo/indexer/config.c uds_validate_config_contents() -> uds_read_from_buffered_reader()

Type Parameter Key Value
PARAM_VALUE 0 reader 4096-ptr_max
PARAM_VALUE 0 reader->client 0
PARAM_VALUE 0 reader->client->need_reserved_buffers 0-4294967295
PARAM_VALUE 0 reader->factory 0
PARAM_VALUE 0 reader->limit 0
PARAM_VALUE 0 *reader->end 0-255
PARAM_VALUE 1 data 4833116324088455168
PARAM_VALUE 2 length 5
BUF_SIZE 1 data 5
DATA_SOURCE 0 reader $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 reader->client->slab_cache->object_size
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/config.c uds_validate_config_contents() -> uds_read_from_buffered_reader()

Type Parameter Key Value
PARAM_VALUE 0 reader 4096-ptr_max
PARAM_VALUE 0 reader->client 0
PARAM_VALUE 0 reader->client->need_reserved_buffers 0-4294967295
PARAM_VALUE 0 reader->factory 0
PARAM_VALUE 0 reader->limit 0
PARAM_VALUE 0 *reader->end 0-255
PARAM_VALUE 1 data 8259671396834820096
PARAM_VALUE 2 length 40
BUF_SIZE 1 data 40
DATA_SOURCE 0 reader $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 reader->client->slab_cache->object_size
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/config.c uds_validate_config_contents() -> uds_read_from_buffered_reader()

Type Parameter Key Value
PARAM_VALUE 0 reader 4096-ptr_max
PARAM_VALUE 0 reader->client 0
PARAM_VALUE 0 reader->client->need_reserved_buffers 0-4294967295
PARAM_VALUE 0 reader->factory 0
PARAM_VALUE 0 reader->limit 0
PARAM_VALUE 0 *reader->end 0-255
PARAM_VALUE 1 data 6233938859845402624
PARAM_VALUE 2 length 16
BUF_SIZE 1 data 16
DATA_SOURCE 0 reader $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 reader->client->slab_cache->object_size
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/index-page-map.c uds_read_index_page_map() -> uds_read_from_buffered_reader()

Type Parameter Key Value
PARAM_VALUE 0 reader 4096-ptr_max
PARAM_VALUE 2 length 16-8589934606
DATA_SOURCE 0 reader $1
DATA_SOURCE 2 length r uds_compute_index_page_map_save_size
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 length

drivers/md/dm-vdo/indexer/volume-index.c start_restoring_volume_index() -> uds_read_from_buffered_reader()

Type Parameter Key Value
PARAM_VALUE 1 data 437983903969779712
PARAM_VALUE 2 length 12
BUF_SIZE 1 data 12
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/volume-index.c start_restoring_volume_sub_index() -> uds_read_from_buffered_reader()

Type Parameter Key Value
PARAM_VALUE 1 data 8572784479267368960
PARAM_VALUE 2 length 40
BUF_SIZE 1 data 40
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte

drivers/md/dm-vdo/indexer/volume-index.c start_restoring_volume_sub_index() -> uds_read_from_buffered_reader()

Type Parameter Key Value
PARAM_VALUE 1 data 6384582502266847232
PARAM_VALUE 2 length 8
BUF_SIZE 1 data 8
RX_PATH
TASK_NOT_RUNNING
UNITS 2 length unit_byte