Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/persistent-data/dm-transaction-manager.c dm_tm_shadow_block() -> __shadow_block()

Type Parameter Key Value
PARAM_VALUE 0 tm 4096-ptr_max
PARAM_VALUE 0 tm->is_clone 0
PARAM_VALUE 0 tm->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tm->sm 4096-ptr_max
PARAM_VALUE 0 tm->sm->count_is_more_than_one 4096-ptr_max
PARAM_VALUE 2 v 1298142665579040768,3847297590590435328,4440803228264046592,6408893679208828928,7847992674347552768,8435209014162055168
PARAM_VALUE 3 result 4096-ptr_max
DATA_SOURCE 0 tm $0
DATA_SOURCE 1 orig $1
DATA_SOURCE 2 v $2
DATA_SOURCE 3 result $3
NO_OVERFLOW_SIMPLE 0 tm->bm->bufio->block_size
NO_OVERFLOW_SIMPLE 0 tm->real->bm->bufio->block_size
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pmd->root_lock