Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/indexer/index-layout.c reconstitute_layout() -> verify_region()

Type Parameter Key Value
PARAM_VALUE 0 lr 4096-ptr_max
PARAM_VALUE 2 kind 1
PARAM_VALUE 3 instance u16max
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/index-layout.c reconstitute_layout() -> verify_region()

Type Parameter Key Value
PARAM_VALUE 0 lr 4096-ptr_max
PARAM_VALUE 2 kind 100
PARAM_VALUE 3 instance u16max
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/index-layout.c reconstitute_layout() -> verify_region()

Type Parameter Key Value
PARAM_VALUE 0 lr 4096-ptr_max
PARAM_VALUE 2 kind 102
PARAM_VALUE 3 instance u16max
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/index-layout.c reconstruct_index_save() -> verify_region()

Type Parameter Key Value
PARAM_VALUE 0 lr 4096-ptr_max
PARAM_VALUE 2 kind 1
PARAM_VALUE 3 instance u16max
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/index-layout.c reconstruct_index_save() -> verify_region()

Type Parameter Key Value
PARAM_VALUE 0 lr 4096-ptr_max
PARAM_VALUE 2 kind 301
PARAM_VALUE 3 instance u16max
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/index-layout.c reconstruct_index_save() -> verify_region()

Type Parameter Key Value
PARAM_VALUE 0 lr 4096-ptr_max
PARAM_VALUE 2 kind 302
PARAM_VALUE 3 instance 0-15
CAPPED_DATA 3 instance 1
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/index-layout.c reconstruct_index_save() -> verify_region()

Type Parameter Key Value
PARAM_VALUE 0 lr 4096-ptr_max
PARAM_VALUE 2 kind 303
PARAM_VALUE 3 instance u16max
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/index-layout.c reconstruct_index_save() -> verify_region()

Type Parameter Key Value
PARAM_VALUE 0 lr 4096-ptr_max
PARAM_VALUE 2 kind 0
PARAM_VALUE 3 instance u16max
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/index-layout.c verify_sub_index() -> verify_region()

Type Parameter Key Value
PARAM_VALUE 0 lr 4096-ptr_max
PARAM_VALUE 2 kind 101
PARAM_VALUE 3 instance 0
DATA_SOURCE 1 start_block $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/index-layout.c verify_sub_index() -> verify_region()

Type Parameter Key Value
PARAM_VALUE 0 lr 4096-ptr_max
PARAM_VALUE 2 kind 201
PARAM_VALUE 3 instance u16max
CAPPED_DATA 1 start_block 1
CAPPED_DATA 1 start_block 1
DATA_SOURCE 1 start_block $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/index-layout.c verify_sub_index() -> verify_region()

Type Parameter Key Value
PARAM_VALUE 0 lr 4096-ptr_max
PARAM_VALUE 2 kind 202
PARAM_VALUE 3 instance 0-65534
CAPPED_DATA 3 instance 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 3 instance