Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/persistent-data/dm-array.c array_set_value() -> shadow_ablock()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->btree_info.tm 4096-ptr_max
PARAM_VALUE 3 block 5378100734432509952
PARAM_VALUE 4 ab 1485528912975515648
DATA_SOURCE 0 info $0
PREEMPT_ADD
HALF_LOCKED2 &cache->background_work_lock
HALF_LOCKED2 &cmd->root_lock
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 &pool->lock

drivers/md/persistent-data/dm-array.c grow_extend_tail_block() -> shadow_ablock()

Type Parameter Key Value
PARAM_VALUE 1 root 4096-ptr_max
PARAM_VALUE 3 block 6975381227263475712
PARAM_VALUE 4 ab 8984485889399922688

drivers/md/persistent-data/dm-array.c shrink() -> shadow_ablock()

Type Parameter Key Value
PARAM_VALUE 1 root 4096-ptr_max
PARAM_VALUE 3 block 1021653070972809216
PARAM_VALUE 4 ab 3196368477444141056
NO_OVERFLOW_SIMPLE 0 info->btree_info.tm->bm->bufio->block_size