Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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)