Documented in 1 files:

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_validate_header()

Type Parameter Key Value
PARAM_VALUE 0 expected_header 8284832274785329152
PARAM_VALUE 1 actual_header 3325208881496784896
PARAM_VALUE 2 exact_size 1
PARAM_VALUE 3 name 1160998492404305920
BUF_SIZE 3 name 27
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 expected_header 4669310859814285312
PARAM_VALUE 1 actual_header 1429393609253703680
PARAM_VALUE 2 exact_size 0
PARAM_VALUE 3 name 3607486105434198016
BUF_SIZE 3 name 14
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 expected_header 8488010957367209984
PARAM_VALUE 1 actual_header 2469300275234521088
PARAM_VALUE 2 exact_size 1
PARAM_VALUE 3 name 3056873513186582528
BUF_SIZE 3 name 34
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 expected_header 5232250385865412608
PARAM_VALUE 1 actual_header 5632570742562897920
PARAM_VALUE 2 exact_size 1
PARAM_VALUE 3 name 2233495424679198720
BUF_SIZE 3 name 28
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 expected_header 8790766950184493056
PARAM_VALUE 1 actual_header 6586733658567495680
PARAM_VALUE 2 exact_size 0
PARAM_VALUE 3 name 1217184787395915776
BUF_SIZE 3 name 23
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 expected_header 5148715237382901760
PARAM_VALUE 1 actual_header 5099716072311042048
PARAM_VALUE 1 actual_header->version.major_version 0-4
PARAM_VALUE 2 exact_size 1
PARAM_VALUE 3 name 2657092399182323712
BUF_SIZE 3 name 25
HALF_LOCKED2 &md->type_lock

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

Type Parameter Key Value
PARAM_VALUE 0 expected_header 6288863778663567360
PARAM_VALUE 1 actual_header 5099716072311042048
PARAM_VALUE 1 actual_header->version.major_version 5-u32max
PARAM_VALUE 2 exact_size 1
PARAM_VALUE 3 name 2657092399182323712
BUF_SIZE 3 name 25
HALF_LOCKED2 &md->type_lock