Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/indexer/volume.c encode_record_page() -> encode_tree()

Type Parameter Key Value
PARAM_VALUE 0 record_page 0-ptr_max
PARAM_VALUE 2 next_record 0
PARAM_VALUE 3 node 0
CAPPED_DATA 4 node_count 1
DATA_SOURCE 0 record_page $2
NOCHECK_CALL

drivers/md/dm-vdo/indexer/volume.c encode_tree() -> encode_tree()

Type Parameter Key Value
PARAM_VALUE 4 node_count 1-u32max
CAPPED_DATA 3 node 1
CAPPED_DATA 4 node_count 1
DATA_SOURCE 0 record_page $0
DATA_SOURCE 1 sorted_pointers $1
DATA_SOURCE 2 next_record $2
DATA_SOURCE 4 node_count $4

drivers/md/dm-vdo/indexer/volume.c encode_tree() -> encode_tree()

Type Parameter Key Value
PARAM_VALUE 0 record_page 4096-ptr_max
PARAM_VALUE 1 sorted_pointers 4096-ptr_max
PARAM_VALUE 4 node_count 1-u32max
CAPPED_DATA 3 node 1
CAPPED_DATA 4 node_count 1
DATA_SOURCE 0 record_page $0
DATA_SOURCE 1 sorted_pointers $1
DATA_SOURCE 2 next_record $2 [m]
DATA_SOURCE 4 node_count $4