Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/bcache/bset.c bch_btree_insert_key() -> (struct btree_keys_ops)->insert_fixup()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 0 b->expensive_debug_checks 4096-ptr_max
PARAM_VALUE 0 b->ops 4096-ptr_max
PARAM_VALUE 0 b->page_order 0-63,255
PARAM_VALUE 0 b->set 4096-u64max
PARAM_VALUE 1 insert 4096-ptr_max
PARAM_VALUE 2 iter 1376720844683714560
PARAM_VALUE 2 iter->b 4096-ptr_max
PARAM_VALUE 2 iter->size 4
PARAM_VALUE 2 iter->used 0-17
DATA_SOURCE 0 b $0
DATA_SOURCE 1 insert $1
DATA_SOURCE 3 replace_key $2
CONTAINER 0 -16-0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 &b->write_lock
HALF_LOCKED2 &b->io_mutex
HALF_LOCKED2 &n->io_mutex
HALF_LOCKED2 &n1->io_mutex
HALF_LOCKED2 &n2->io_mutex
HALF_LOCKED2 &n2->write_lock
HALF_LOCKED2 b
TYPE_LOCK (struct btree)->write_lock