Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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->ops->key_bad 4096-ptr_max
PARAM_VALUE 0 b->ops->key_invalid 4096-ptr_max
PARAM_VALUE 0 b->set 4096-u64max
DATA_SOURCE 0 b $0
STR_LEN 0 b 7,9
STR_LEN 0 b 7,9
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &b->write_lock

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

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 0 b->ops 4096-ptr_max
BUF_SIZE 0 b (-1),216
BUF_SIZE 0 b (-1),216
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL