Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/persistent-data/dm-btree.c __btree_get_overwrite_leaf() -> shadow_step()

Type Parameter Key Value
PARAM_VALUE 0 s 6667255479319351296
PARAM_VALUE 0 s->info 4096-ptr_max
PARAM_VALUE 2 vt 4096-ptr_max
DATA_SOURCE 0 s $0
DATA_SOURCE 1 b $1 [m]
NO_OVERFLOW_SIMPLE 0 s->info->tm->bm->bufio->slab_buffer->object_size

drivers/md/persistent-data/dm-btree.c btree_insert_raw() -> shadow_step()

Type Parameter Key Value
PARAM_VALUE 0 s 1776116832383782912
PARAM_VALUE 0 s->info 4096-ptr_max
PARAM_VALUE 2 vt 4096-ptr_max
DATA_SOURCE 0 s $0
DATA_SOURCE 1 b $1 [m]
DATA_SOURCE 2 vt $2
PREEMPT_ADD
NO_OVERFLOW_SIMPLE 0 s->info->tm->bm->bufio->slab_buffer->object_size
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree-remove.c remove_nearest() -> shadow_step()

Type Parameter Key Value
PARAM_VALUE 0 s 8002867784766251008
PARAM_VALUE 0 s->count s32min-2
PARAM_VALUE 0 s->info 4096-ptr_max
PARAM_VALUE 2 vt 4096-ptr_max
DATA_SOURCE 0 s $0
DATA_SOURCE 1 b $3 [m]
DATA_SOURCE 2 vt $2
NO_OVERFLOW_SIMPLE 0 s->info->tm->bm->bufio->slab_buffer->object_size
LOCK2 &td->pmd->root_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dm_pool_metadata)->root_lock

drivers/md/persistent-data/dm-btree-remove.c remove_raw() -> shadow_step()

Type Parameter Key Value
PARAM_VALUE 0 s 1487649420140507136,8002867784766251008
PARAM_VALUE 0 s->count s32min-2
PARAM_VALUE 0 s->info 4096-ptr_max
PARAM_VALUE 2 vt 4096-ptr_max
PARAM_VALUE 2 vt->equal 250717913397145600
PARAM_VALUE 2 vt->inc 2523892218533584896
PARAM_VALUE 2 vt->size 8
DATA_SOURCE 0 s $0
DATA_SOURCE 1 b $3 [m]
DATA_SOURCE 2 vt $2
NO_OVERFLOW_SIMPLE 0 s->info->tm->bm->bufio->slab_buffer->object_size
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock