Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/persistent-data/dm-space-map-disk.c sm_disk_count_is_more_than_one() -> sm_disk_get_count()

Type Parameter Key Value
PARAM_VALUE 0 sm 6390398918728081408
PARAM_VALUE 0 sm->commit 9100168840642543616
PARAM_VALUE 0 sm->copy_root 8495978179594833920
PARAM_VALUE 0 sm->count_is_more_than_one 4836547049045917696
PARAM_VALUE 0 sm->dec_blocks 3879484675566600192
PARAM_VALUE 0 sm->destroy 2637725132857520128
PARAM_VALUE 0 sm->extend 988932129381658624
PARAM_VALUE 0 sm->get_count 3735011735558426624
PARAM_VALUE 0 sm->get_nr_blocks 3912486858151636992
PARAM_VALUE 0 sm->get_nr_free 3729084451343609856
PARAM_VALUE 0 sm->inc_blocks 6102116775876423680
PARAM_VALUE 0 sm->new_block 812567710925131776
PARAM_VALUE 0 sm->register_threshold_callback 0
PARAM_VALUE 0 sm->root_size 59123037485293568
PARAM_VALUE 0 sm->set_count 9119634993999179776
PARAM_VALUE 2 result 8365162577937424384
DATA_SOURCE 0 sm $0
DATA_SOURCE 1 b $1

drivers/md/dm-thin-metadata.c dm_sm_get_count() -> (struct dm_space_map)->get_count()

Type Parameter Key Value
PARAM_VALUE 0 sm 4096-ptr_max
PARAM_VALUE 2 result 3776859152212144128
DATA_SOURCE 0 sm $0
DATA_SOURCE 1 b $1
DATA_SOURCE 2 result $2
CONTAINER 0 -32+0 $(-1)
LOCK2 &pmd->root_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dm_pool_metadata)->root_lock

drivers/md/persistent-data/dm-transaction-manager.c dm_sm_get_count() -> (struct dm_space_map)->get_count()

Type Parameter Key Value
PARAM_VALUE 0 sm 4096-ptr_max
PARAM_VALUE 2 result 1259310120597852160,8148659062519848960
DATA_SOURCE 0 sm $0
DATA_SOURCE 1 b $1
DATA_SOURCE 2 result $2
CONTAINER 0 -32+0 $(-1)