Defined in 2 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/bcache/debug.c bch_btree_verify() -> bch_dump_bset()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 0 b->expensive_debug_checks 4096-ptr_max
PARAM_VALUE 1 i 4096-ptr_max
PARAM_VALUE 2 set 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &b->c->verify_lock
LOCK2 &b->io_mutex
LOCK2 global &console_sem
HALF_LOCKED2 &b->write_lock
HALF_LOCKED2 &n1->io_mutex
HALF_LOCKED2 &n1->write_lock
HALF_LOCKED2 &n2->io_mutex
HALF_LOCKED2 b
TYPE_LOCK (struct btree)->io_mutex
TYPE_LOCK (struct cache_set)->verify_lock

drivers/md/bcache/debug.c bch_btree_verify() -> bch_dump_bset()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 1 i 9223372036854775807
PARAM_VALUE 2 set 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &b->c->verify_lock
LOCK2 &b->io_mutex
LOCK2 global &console_sem
HALF_LOCKED2 &b->write_lock
HALF_LOCKED2 &n1->io_mutex
HALF_LOCKED2 &n1->write_lock
HALF_LOCKED2 &n2->io_mutex
HALF_LOCKED2 b
TYPE_LOCK (struct btree)->io_mutex
TYPE_LOCK (struct cache_set)->verify_lock

drivers/md/bcache/debug.c bch_btree_verify() -> bch_dump_bset()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 0 b->expensive_debug_checks 4096-ptr_max
PARAM_VALUE 1 i 4096-ptr_max
CAPPED_DATA 1 i 1
CAPPED_DATA 1 i->seq 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &b->c->verify_lock
LOCK2 &b->io_mutex
LOCK2 global &console_sem
HALF_LOCKED2 &b->write_lock
HALF_LOCKED2 &n1->io_mutex
HALF_LOCKED2 &n1->write_lock
HALF_LOCKED2 &n2->io_mutex
HALF_LOCKED2 b
TYPE_LOCK (struct btree)->io_mutex
TYPE_LOCK (struct cache_set)->verify_lock

drivers/md/bcache/bset.c bch_dump_bucket() -> bch_dump_bset()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 0 b->ops 4096-ptr_max
PARAM_VALUE 0 b->ops->key_bad 4096-ptr_max
PARAM_VALUE 0 b->ops->key_dump 4096-ptr_max
PARAM_VALUE 0 b->ops->key_invalid 4096-ptr_max
PARAM_VALUE 0 b->page_order 0-63,255
PARAM_VALUE 0 b->set 4096-ptr_max
PARAM_VALUE 2 set 0-8388607
BUF_SIZE 0 b (-1),216
BUF_SIZE 0 b (-1),216
DATA_SOURCE 0 b $0
STR_LEN 0 b (-1),7,9
STR_LEN 0 b (-1),7,9
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &console_sem