Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/bcache/btree.c __bch_btree_node_write() -> __bch_check_keys()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 0 b->expensive_debug_checks 4096-ptr_max
PARAM_VALUE 1 fmt 4467717732079853568
BUF_SIZE 1 fmt 8
STR_LEN 0 b 7
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &b->lock
HALF_LOCKED2 &b->write_lock
HALF_LOCKED2 &c->bucket_lock

drivers/md/bcache/btree.c btree_insert_key() -> __bch_check_keys()

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->last_set_unwritten 1
PARAM_VALUE 0 b->ops 4096-ptr_max
PARAM_VALUE 1 fmt 6217898498360582144
PARAM_VALUE 2 $ 2,4
PARAM_VALUE 3 $ 2202896655437918208,4172701118971588608
BUF_SIZE 1 fmt 10
BUF_SIZE 3 $ 7-8
DATA_SOURCE 2 $ r bch_btree_insert_key
STR_LEN 0 b 9
STR_LEN 1 fmt 6-7
BIT_INFO 3 $ 0x1880408600053000,0x3ffa6bdf7e6df000
TERMINATED 1 fmt 1
TERMINATED 3 $ 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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