Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/md/dm-vdo/indexer/delta-index.c uds_start_saving_delta_index() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 6816150742833688576
PARAM_VALUE 1 offset 6272970387529220096
PARAM_VALUE 1 *offset 24
BUF_SIZE 0 data 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/delta-index.c uds_start_saving_delta_index() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 6816150742833688576
PARAM_VALUE 1 offset 6272970387529220096
PARAM_VALUE 1 *offset 32
BUF_SIZE 0 data 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
DATA_SOURCE 0 data $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
DATA_SOURCE 0 data $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
DATA_SOURCE 0 data $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
DATA_SOURCE 0 data $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 offset 7315666923531128832
PARAM_VALUE 1 *offset 120,128
DATA_SOURCE 0 data $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 offset 7315666923531128832
PARAM_VALUE 1 *offset 128,136
DATA_SOURCE 0 data $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
DATA_SOURCE 0 data $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
PARAM_VALUE 2 to_encode 0
DATA_SOURCE 0 data $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
DATA_SOURCE 0 data $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() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
DATA_SOURCE 0 data $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() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
DATA_SOURCE 0 data $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() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
DATA_SOURCE 0 data $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() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
DATA_SOURCE 0 data $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() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
DATA_SOURCE 0 data $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() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
DATA_SOURCE 0 data $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() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
DATA_SOURCE 0 data $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() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
DATA_SOURCE 0 data $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() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
DATA_SOURCE 0 data $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() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
DATA_SOURCE 0 data $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() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
DATA_SOURCE 0 data $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() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 7315666923531128832
DATA_SOURCE 0 data $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 offset 8631864027900764160
PARAM_VALUE 1 *offset 32
DATA_SOURCE 0 data $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 offset 8631864027900764160
PARAM_VALUE 1 *offset 56
DATA_SOURCE 0 data $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 offset 8631864027900764160
PARAM_VALUE 1 *offset 60,68,72,80
DATA_SOURCE 0 data $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c define_sub_index_nonce() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 1092801636604747776
PARAM_VALUE 1 *offset 0
BUF_SIZE 0 data 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c encode_region_table() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 841048803201138688,7797172233534025728
PARAM_VALUE 1 *offset 0
DATA_SOURCE 0 data $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c encode_region_table() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 841048803201138688,7797172233534025728
PARAM_VALUE 1 *offset 8
DATA_SOURCE 0 data $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c encode_region_table() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 841048803201138688,7797172233534025728
PARAM_VALUE 1 *offset 24,48
DATA_SOURCE 0 data $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c encode_region_table() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 841048803201138688,7797172233534025728
PARAM_VALUE 1 *offset 32,56
DATA_SOURCE 0 data $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c generate_index_save_nonce() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 9107177948327837696
PARAM_VALUE 1 offset 2879288823483461632
PARAM_VALUE 1 *offset 0
BUF_SIZE 0 data 32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c generate_index_save_nonce() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 9107177948327837696
PARAM_VALUE 1 offset 2879288823483461632
PARAM_VALUE 1 *offset 8
PARAM_VALUE 2 to_encode 0
BUF_SIZE 0 data 32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c generate_index_save_nonce() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 9107177948327837696
PARAM_VALUE 1 offset 2879288823483461632
PARAM_VALUE 1 *offset 24
BUF_SIZE 0 data 32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c write_index_save_header() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 7797172233534025728
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c write_index_save_header() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 7797172233534025728
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c write_index_save_header() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 7797172233534025728
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c write_index_save_header() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 7797172233534025728
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c write_index_save_header() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 7797172233534025728
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c write_index_save_header() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 7797172233534025728
PARAM_VALUE 2 to_encode 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c write_layout_header() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 841048803201138688
PARAM_VALUE 2 to_encode 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c write_layout_header() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 841048803201138688
PARAM_VALUE 2 to_encode 1-33554432
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c write_layout_header() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 841048803201138688
PARAM_VALUE 2 to_encode 1-2097153
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c write_layout_header() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 841048803201138688
PARAM_VALUE 2 to_encode 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-layout.c write_layout_header() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 841048803201138688
PARAM_VALUE 2 to_encode 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/config.c uds_write_config_contents() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 2157719936501235712
PARAM_VALUE 1 offset 4417221505623822336
PARAM_VALUE 1 *offset 32
BUF_SIZE 0 data 56
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/config.c uds_write_config_contents() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 2157719936501235712
PARAM_VALUE 1 offset 4417221505623822336
PARAM_VALUE 1 *offset 40
BUF_SIZE 0 data 56
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/config.c uds_write_config_contents() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 2157719936501235712
PARAM_VALUE 1 offset 4417221505623822336
PARAM_VALUE 1 *offset 48
BUF_SIZE 0 data 56
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/index-page-map.c uds_write_index_page_map() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 1 offset 2022086590377189376
PARAM_VALUE 1 *offset 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/volume-index.c start_saving_volume_sub_index() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 8109832090280071168
PARAM_VALUE 1 offset 6215671883744473088
PARAM_VALUE 1 *offset 8
BUF_SIZE 0 data 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/volume-index.c start_saving_volume_sub_index() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 8109832090280071168
PARAM_VALUE 1 offset 6215671883744473088
PARAM_VALUE 1 *offset 16
BUF_SIZE 0 data 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/volume-index.c start_saving_volume_sub_index() -> encode_u64_le()

Type Parameter Key Value
PARAM_VALUE 0 data 8109832090280071168
PARAM_VALUE 1 offset 6215671883744473088
PARAM_VALUE 1 *offset 24
BUF_SIZE 0 data 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL