Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/encodings.c encode_block_map_state_2_0() -> vdo_encode_header()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
PARAM_VALUE 2 header 8284832274785329152
DATA_SOURCE 0 buffer $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/encodings.c encode_layout() -> vdo_encode_header()

Type Parameter Key Value
PARAM_VALUE 1 offset 7315666923531128832
PARAM_VALUE 1 *offset 100,108
PARAM_VALUE 2 header 5512566073178759168
DATA_SOURCE 0 buffer $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/encodings.c encode_recovery_journal_state_7_0() -> vdo_encode_header()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
PARAM_VALUE 2 header 8488010957367209984
DATA_SOURCE 0 buffer $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/encodings.c encode_slab_depot_state_2_0() -> vdo_encode_header()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
PARAM_VALUE 2 header 5232250385865412608
DATA_SOURCE 0 buffer $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/encodings.c vdo_encode_super_block() -> vdo_encode_header()

Type Parameter Key Value
PARAM_VALUE 1 offset 7315666923531128832
PARAM_VALUE 1 *offset 0
PARAM_VALUE 2 header 7811935915447078912
DATA_SOURCE 0 buffer $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/encodings.c vdo_encode_volume_geometry() -> vdo_encode_header()

Type Parameter Key Value
PARAM_VALUE 1 offset 8631864027900764160
PARAM_VALUE 1 *offset 8
PARAM_VALUE 2 header 6288863778663567360
BUF_SIZE 2 header 24
DATA_SOURCE 0 buffer $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL