Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/vdo.c vdo_format() -> vdo_initialize_component_states()

Type Parameter Key Value
PARAM_VALUE 0 vdo_config 8766567629115813888
PARAM_VALUE 0 vdo_config->logical_blocks 0-1099511627776
PARAM_VALUE 0 vdo_config->recovery_journal_size 32768
PARAM_VALUE 0 vdo_config->slab_journal_blocks 224
PARAM_VALUE 0 vdo_config->slab_size 8192-8388608
PARAM_VALUE 1 geometry 4096-ptr_max
PARAM_VALUE 1 geometry->index_config.mem 1-1024
PARAM_VALUE 3 states 4096-ptr_max
DATA_SOURCE 2 nonce r current_time_us
BIT_INFO 2 nonce 0x0,0x7fffffffffffffff
BIT_INFO 2 nonce 0x0,0x7fffffffffffffff
USER_DATA 0 vdo_config->physical_blocks 0-u64max
NO_OVERFLOW_SIMPLE 0 vdo_config->physical_blocks
NO_OVERFLOW_SIMPLE 1 geometry->index_config.mem
HALF_LOCKED2 &md->type_lock