Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/indexer/index-layout.c load_sub_index_regions() -> open_region_reader()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->factory 4096-ptr_max
PARAM_VALUE 0 layout->factory->ref_count.counter s32min-s32max
PARAM_VALUE 0 layout->index.saves 4096-ptr_max
PARAM_VALUE 0 layout->super.max_saves 1-u16max
PARAM_VALUE 1 region 4096-ptr_max
PARAM_VALUE 2 reader_ptr 1571982210740224
DATA_SOURCE 0 layout $0
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/index-layout.c uds_load_index_state() -> open_region_reader()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->super.max_saves 1-u16max
PARAM_VALUE 1 region 4096-ptr_max
PARAM_VALUE 2 reader_ptr 5181863664966938624
BUF_SIZE 2 reader_ptr 128
CAPPED_DATA 0 layout->super.max_saves 1
DATA_SOURCE 0 layout $0
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/index-layout.c uds_load_index_state() -> open_region_reader()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->factory 4096-ptr_max
PARAM_VALUE 0 layout->factory->ref_count.counter s32min-s32max
PARAM_VALUE 0 layout->super.max_saves 1-u16max
PARAM_VALUE 1 region 4096-ptr_max
PARAM_VALUE 2 reader_ptr 4096-ptr_max
CAPPED_DATA 0 layout->super.max_saves 1
DATA_SOURCE 0 layout $0
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/index-layout.c uds_load_index_state() -> open_region_reader()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->factory 4096-ptr_max
PARAM_VALUE 0 layout->factory->ref_count.counter s32min-s32max
PARAM_VALUE 0 layout->super.max_saves 1-u16max
PARAM_VALUE 1 region 4096-ptr_max
PARAM_VALUE 2 reader_ptr 5181863664966938624
PARAM_VALUE 2 *reader_ptr 4096-ptr_max
BUF_SIZE 2 reader_ptr 128
CAPPED_DATA 0 layout->super.max_saves 1
DATA_SOURCE 0 layout $0
RX_PATH
TASK_NOT_RUNNING