Open Menu /

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

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

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->is_extents 0
PARAM_VALUE 0 b->ops->key_bad 4096-ptr_max
PARAM_VALUE 0 b->ops->key_invalid 5042869928339255296,8931906019736064000
PARAM_VALUE 0 b->set 4096-u64max
PARAM_VALUE 1 k 4096-ptr_max
DATA_SOURCE 0 b $0
DATA_SOURCE 1 k r bch_btree_iter_next
STR_LEN 0 b 7,9
STR_LEN 0 b 7,9
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &b->write_lock

drivers/md/bcache/btree.c btree_gc_mark_node() -> bch_ptr_bad()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 1 k 4096-ptr_max
DATA_SOURCE 1 k r bch_btree_iter_next_filter
TASK_NOT_RUNNING
HALF_LOCKED2 b

drivers/md/bcache/bset.c btree_mergesort() -> btree_mergesort ptr bad()

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_merge 0,4096-ptr_max
PARAM_VALUE 0 b->ops->sort_fixup 0,8945762327650275328
PARAM_VALUE 0 b->page_order 0-63,255
PARAM_VALUE 1 k 1-u64max
DATA_SOURCE 0 b $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &n->write_lock

drivers/md/bcache/bset.c bch_btree_iter_next_filter() -> bch_btree_iter_next_filter param 2()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 1 k 4096-ptr_max
DATA_SOURCE 0 b $1
DATA_SOURCE 1 k r bch_btree_iter_next
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 b
HALF_LOCKED2 global &bch_register_lock