Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 isl 4096-ptr_max
PARAM_VALUE 1 isl->save_data.nonce 0
PARAM_VALUE 1 isl->save_data.unused__ 0
PARAM_VALUE 1 isl->save_data.version 1
DATA_SOURCE 0 volume_nonce $2
DATA_SOURCE 1 isl $0
BIT_INFO 1 isl->save_data.timestamp 0x0,0x7fffffffffffffff
MEM_ZERO 1 &isl->save_data
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 isl->zone_count

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

Type Parameter Key Value
PARAM_VALUE 1 isl 4096-ptr_max
PARAM_VALUE 1 isl->save_data.timestamp 1-u64max
PARAM_VALUE 1 isl->zone_count 1-u32max
DATA_SOURCE 0 volume_nonce $1
DATA_SOURCE 1 isl $0
RX_PATH
TASK_NOT_RUNNING