Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 buffer 6836581889788919808
PARAM_VALUE 1 offset 8490799919830777856
PARAM_VALUE 2 decoded 1349861345677570072
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_u64_le()

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

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

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

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

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 2 decoded 5114819556607848448
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() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 1 *offset 52,60,120,128
PARAM_VALUE 2 decoded 8626540279489703936
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() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 1 *offset 60,68,128,136
PARAM_VALUE 2 decoded 4700593772160577536
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() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 2 decoded 1213671003920027648
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() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 2 decoded 4029690365254434816
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() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 2 decoded 357921929813782528
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() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 2 decoded 5152111620531105792
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() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 2 decoded 2797293853113118720
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() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 2 decoded 941056719392690176
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() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 2 decoded 941056719392690176
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() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 2 decoded 941056719392690176
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() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 2 decoded 941056719392690176
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() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 2 decoded 941056719392690176
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() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 2 decoded 941056719392690176
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() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 2 decoded 941056719392690176
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() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 6554480001467781120
PARAM_VALUE 2 decoded 972123110163910656
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() -> decode_u64_le()

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

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

Type Parameter Key Value
PARAM_VALUE 1 offset 3489897296109977600
PARAM_VALUE 1 *offset 32
PARAM_VALUE 2 decoded 6079355400033951744
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_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 3489897296109977600
PARAM_VALUE 1 *offset 56
PARAM_VALUE 2 decoded 7537992604070748160
PARAM_VALUE 2 *decoded 0
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_u64_le()

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

drivers/md/dm-vdo/indexer/index-layout.c load_region_table() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4378815575748210688
PARAM_VALUE 1 offset 1510470635035852800
PARAM_VALUE 1 *offset 0
PARAM_VALUE 2 decoded 2542180468453400576
BUF_SIZE 0 buffer 24
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c load_region_table() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4378815575748210688
PARAM_VALUE 1 offset 1510470635035852800
PARAM_VALUE 1 *offset 8
PARAM_VALUE 2 decoded 2542180468453400584
BUF_SIZE 0 buffer 24
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c load_region_table() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4187046941134864384
PARAM_VALUE 1 offset 1510470635035852800
PARAM_VALUE 1 *offset 0
BUF_SIZE 0 buffer 24
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c load_region_table() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4187046941134864384
PARAM_VALUE 1 offset 1510470635035852800
PARAM_VALUE 1 *offset 8
PARAM_VALUE 2 decoded 4096-ptr_max
BUF_SIZE 0 buffer 24
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 buffer 2530205200528203776
PARAM_VALUE 1 offset 3207372099144159232
PARAM_VALUE 1 *offset 0
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_index_save_data() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 2530205200528203776
PARAM_VALUE 1 offset 3207372099144159232
PARAM_VALUE 1 *offset 8
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_index_save_data() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 2530205200528203776
PARAM_VALUE 1 offset 3207372099144159232
PARAM_VALUE 1 *offset 32
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_index_save_data() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 2530205200528203776
PARAM_VALUE 1 offset 3207372099144159232
PARAM_VALUE 1 *offset 40
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_index_save_data() -> decode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 2530205200528203776
PARAM_VALUE 1 offset 3207372099144159232
PARAM_VALUE 1 *offset 48
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_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 4482406550577213440
PARAM_VALUE 1 *offset 64
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_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 4482406550577213440
PARAM_VALUE 1 *offset 88
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_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 4482406550577213440
PARAM_VALUE 1 *offset 96
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_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 4482406550577213440
PARAM_VALUE 1 *offset 104
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_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 4482406550577213440
PARAM_VALUE 1 *offset 112
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_u64_le()

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 buffer 6233938859845402624
PARAM_VALUE 1 offset 7541448302494674944
PARAM_VALUE 1 *offset 8
PARAM_VALUE 2 decoded 4096-ptr_max
BUF_SIZE 0 buffer 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-page-map.c uds_read_index_page_map() -> decode_u64_le()

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

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

Type Parameter Key Value
PARAM_VALUE 0 buffer 8572784479267368960
PARAM_VALUE 1 offset 1938850797259751424
PARAM_VALUE 1 *offset 8-u64max
PARAM_VALUE 2 decoded 8933262195611349000
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_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 buffer 8572784479267368960
PARAM_VALUE 1 offset 1938850797259751424
PARAM_VALUE 2 decoded 8933262195611349008
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_u64_le()

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