Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/encodings.c decode_block_map_state_2_0() -> vdo_decode_header()

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 2 header 3325208881496784896
DATA_SOURCE 0 buffer $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/encodings.c decode_layout() -> vdo_decode_header()

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 1 *offset 32,40,100,108
PARAM_VALUE 2 header 1429393609253703680
DATA_SOURCE 0 buffer $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/encodings.c decode_recovery_journal_state_7_0() -> vdo_decode_header()

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 2 header 2469300275234521088
DATA_SOURCE 0 buffer $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/encodings.c decode_slab_depot_state_2_0() -> vdo_decode_header()

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 2 header 5632570742562897920
DATA_SOURCE 0 buffer $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/encodings.c vdo_decode_super_block() -> vdo_decode_header()

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

drivers/md/dm-vdo/encodings.c vdo_parse_geometry_block() -> vdo_decode_header()

Type Parameter Key Value
PARAM_VALUE 1 offset 3489897296109977600
PARAM_VALUE 1 *offset 8
PARAM_VALUE 2 header 5099716072311042048
DATA_SOURCE 0 buffer $0
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock