Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-thin-metadata.c data_block_equal() -> unpack_block_time()

Type Parameter Key Value
PARAM_VALUE 1 b 2305287386600603648
PARAM_VALUE 2 t 360403494994952192
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-thin-metadata.c data_block_equal() -> unpack_block_time()

Type Parameter Key Value
PARAM_VALUE 1 b 281641936100302848
PARAM_VALUE 2 t 360403494994952192
PARAM_VALUE 2 *t 0-16777215
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-thin-metadata.c unpack_lookup_result() -> unpack_block_time()

Type Parameter Key Value
PARAM_VALUE 1 b 5761459868501688320
PARAM_VALUE 2 t 2644354971405033472
DATA_SOURCE 0 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &pmd->root_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dm_pool_metadata)->root_lock

drivers/md/dm-thin-metadata.c with_runs() -> unpack_block_time()

Type Parameter Key Value
PARAM_VALUE 1 b 2147418530688798720
PARAM_VALUE 2 t 4454853148168818688
NOCHECK_CALL