Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/md/dm-vdo/indexer/delta-index.c uds_start_restoring_delta_index() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 6836581889788919808
PARAM_VALUE 1 offset 8490799919830777856
PARAM_VALUE 1 *offset 8-u64max
PARAM_VALUE 2 decoded 1349861345677570056
BUF_SIZE 0 buffer 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/delta-index.c uds_start_restoring_delta_index() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 6836581889788919808
PARAM_VALUE 1 offset 8490799919830777856
PARAM_VALUE 2 decoded 1349861345677570060
BUF_SIZE 0 buffer 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/delta-index.c uds_start_restoring_delta_index() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 6836581889788919808
PARAM_VALUE 1 offset 8490799919830777856
PARAM_VALUE 2 decoded 1349861345677570064
BUF_SIZE 0 buffer 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/delta-index.c uds_start_restoring_delta_index() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 6836581889788919808
PARAM_VALUE 1 offset 8490799919830777856
PARAM_VALUE 2 decoded 1349861345677570068
BUF_SIZE 0 buffer 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/encodings.c decode_volume_geometry() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 3489897296109977600
PARAM_VALUE 1 *offset 28
PARAM_VALUE 2 decoded 7218634030521458688
DATA_SOURCE 0 buffer $0
DATA_SOURCE 1 offset $1
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-vdo/encodings.c decode_volume_geometry() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 3489897296109977600
PARAM_VALUE 1 *offset 56,64,68,76
PARAM_VALUE 2 decoded 1788893215554433024
DATA_SOURCE 0 buffer $0
DATA_SOURCE 1 offset $1
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-vdo/encodings.c decode_volume_geometry() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 3489897296109977600
PARAM_VALUE 1 *offset 68,76,80,88
PARAM_VALUE 2 decoded 6087335855121739776
DATA_SOURCE 0 buffer $0
DATA_SOURCE 1 offset $1
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-vdo/encodings.c vdo_decode_component_states() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 1 *offset 20
PARAM_VALUE 2 decoded 4096-ptr_max
DATA_SOURCE 0 buffer $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 offset 3072474364332642304
PARAM_VALUE 1 *offset 446
PARAM_VALUE 2 decoded 2937489474264461312
DATA_SOURCE 0 buffer $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 1 offset 3489897296109977600
PARAM_VALUE 1 *offset 77-97
PARAM_VALUE 2 decoded 4970457947253780480
DATA_SOURCE 0 buffer $0
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-vdo/indexer/index-layout.c read_index_save_data() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 2530205200528203776
PARAM_VALUE 1 offset 3207372099144159232
PARAM_VALUE 1 *offset 16
PARAM_VALUE 2 decoded 4096-ptr_max
BUF_SIZE 0 buffer 64
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c read_super_block_data() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 4482406550577213440
PARAM_VALUE 1 *offset 72
PARAM_VALUE 2 decoded 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c read_super_block_data() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 4482406550577213440
PARAM_VALUE 1 *offset 76
PARAM_VALUE 2 decoded 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/config.c uds_validate_config_contents() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 8259671396834820096
PARAM_VALUE 1 offset 7541448302494674944
PARAM_VALUE 1 *offset 0
PARAM_VALUE 2 decoded 3285774468994715656
BUF_SIZE 0 buffer 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/config.c uds_validate_config_contents() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 8259671396834820096
PARAM_VALUE 1 offset 7541448302494674944
PARAM_VALUE 1 *offset 4
PARAM_VALUE 2 decoded 3285774468994715660
BUF_SIZE 0 buffer 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/config.c uds_validate_config_contents() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 8259671396834820096
PARAM_VALUE 1 offset 7541448302494674944
PARAM_VALUE 1 *offset 8
PARAM_VALUE 2 decoded 3285774468994715664
BUF_SIZE 0 buffer 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/config.c uds_validate_config_contents() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 8259671396834820096
PARAM_VALUE 1 offset 7541448302494674944
PARAM_VALUE 1 *offset 12
PARAM_VALUE 2 decoded 4681184196766781576
BUF_SIZE 0 buffer 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/config.c uds_validate_config_contents() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 8259671396834820096
PARAM_VALUE 1 offset 7541448302494674944
PARAM_VALUE 1 *offset 20
PARAM_VALUE 2 decoded 4681184196766781580
BUF_SIZE 0 buffer 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/config.c uds_validate_config_contents() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 8259671396834820096
PARAM_VALUE 1 offset 7541448302494674944
PARAM_VALUE 1 *offset 24
PARAM_VALUE 2 decoded 538734256189038592
BUF_SIZE 0 buffer 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/config.c uds_validate_config_contents() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 8259671396834820096
PARAM_VALUE 1 offset 7541448302494674944
PARAM_VALUE 1 *offset 28
PARAM_VALUE 2 decoded 4681184196766781584
BUF_SIZE 0 buffer 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/volume-index.c start_restoring_volume_index() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 437983903969779712
PARAM_VALUE 1 offset 2474729990805929984
PARAM_VALUE 1 *offset 8-u64max
PARAM_VALUE 2 decoded 1210075623290912776
BUF_SIZE 0 buffer 12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/volume-index.c start_restoring_volume_sub_index() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 8572784479267368960
PARAM_VALUE 1 offset 1938850797259751424
PARAM_VALUE 2 decoded 8933262195611349024
BUF_SIZE 0 buffer 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/volume-index.c start_restoring_volume_sub_index() -> decode_u32_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 8572784479267368960
PARAM_VALUE 1 offset 1938850797259751424
PARAM_VALUE 2 decoded 8933262195611349028
BUF_SIZE 0 buffer 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL