Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/md/persistent-data/dm-btree-spine.c le64_dec() -> dm_tm_with_runs()

Type Parameter Key Value
BUF_SIZE 0 tm 56,112
DATA_SOURCE 0 tm $0
DATA_SOURCE 1 value_le $1
DATA_SOURCE 2 count $2
NOCHECK_CALL
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree-spine.c le64_inc() -> dm_tm_with_runs()

Type Parameter Key Value
BUF_SIZE 0 tm 56,112
BUF_SIZE 1 value_le (-1),4,8
DATA_SOURCE 0 tm $0
DATA_SOURCE 1 value_le $1
DATA_SOURCE 2 count $2
NOCHECK_CALL
HALF_LOCKED2 &cache->background_work_lock
HALF_LOCKED2 &cmd->root_lock
HALF_LOCKED2 &md->suspend_lock

drivers/md/persistent-data/dm-btree.c inc_children() -> dm_tm_with_runs()

Type Parameter Key Value
PARAM_VALUE 0 tm 4096-ptr_max
PARAM_VALUE 0 tm->bm->bufio->cache.num_locks 0-4294967295
PARAM_VALUE 0 tm->bm->bufio->lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 tm->bm->bufio->need_reserved_buffers 0-4294967295
PARAM_VALUE 0 tm->is_clone 0
DATA_SOURCE 0 tm $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tm->bm->bufio->block_size
NO_OVERFLOW_SIMPLE 0 tm->bm->bufio->slab_buffer->object_size
NO_OVERFLOW_SIMPLE 0 tm->real->bm->bufio->block_size
HALF_LOCKED2 &td->pmd->root_lock