Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/bcache/journal.c bch_journal_mark() -> bch_initial_mark_key()

Type Parameter Key Value
PARAM_VALUE 1 level 0
PARAM_VALUE 2 k 4096-18446744073709547519
CAPPED_DATA 2 k 1
DATA_SOURCE 0 c $0
NOCHECK_CALL

drivers/md/bcache/btree.c bch_btree_check() -> bch_initial_mark_key()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->root 4096-ptr_max
PARAM_VALUE 0 c->root->keys.set 4096-u64max
PARAM_VALUE 2 k 4096-ptr_max
DATA_SOURCE 0 c $0
DATA_SOURCE 2 k r bch_btree_iter_next_filter
NOCHECK_CALL

drivers/md/bcache/btree.c bch_btree_check() -> bch_initial_mark_key()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->root 4096-ptr_max
PARAM_VALUE 0 c->root->keys.set 4096-u64max
PARAM_VALUE 2 k 4096-ptr_max
DATA_SOURCE 0 c $0
NOCHECK_CALL

drivers/md/bcache/btree.c bch_btree_check_recurse() -> bch_initial_mark_key()

Type Parameter Key Value
PARAM_VALUE 1 level 0-254
PARAM_VALUE 2 k 4096-ptr_max
CAPPED_DATA 1 level 1
DATA_SOURCE 2 k r bch_btree_iter_next_filter
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 c->bio_meta.min_nr
NO_OVERFLOW_SIMPLE 0 c->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 c->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 c->fill_iter.min_nr
NO_OVERFLOW_SIMPLE 0 c->nr_uuids
NO_OVERFLOW_SIMPLE 0 c->search.min_nr

drivers/md/bcache/btree.c bch_btree_check_recurse() -> bch_initial_mark_key()

Type Parameter Key Value
PARAM_VALUE 1 level 1-255
PARAM_VALUE 2 k 4096-ptr_max
CAPPED_DATA 1 level 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 c->bio_meta.min_nr
NO_OVERFLOW_SIMPLE 0 c->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 c->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 c->fill_iter.min_nr
NO_OVERFLOW_SIMPLE 0 c->nr_uuids
NO_OVERFLOW_SIMPLE 0 c->search.min_nr