Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/bcache/extents.c __bch_btree_ptr_invalid() -> __ptr_invalid()

Type Parameter Key Value
PARAM_VALUE 1 k 4096-ptr_max
BUF_SIZE 0 c (-1),87472
BUF_SIZE 0 c (-1),87472
BUF_SIZE 1 k (-1),16
BUF_SIZE 1 k (-1),16
DATA_SOURCE 0 c $0
DATA_SOURCE 1 k $1
RX_PATH
TASK_NOT_RUNNING
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
NO_OVERFLOW_SIMPLE 0 c->sort.pool.min_nr
NO_OVERFLOW_SIMPLE 0 c->verify_data->c->bio_meta.min_nr
NO_OVERFLOW_SIMPLE 0 c->verify_data->c->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 c->verify_data->c->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 c->verify_data->c->fill_iter.min_nr
NO_OVERFLOW_SIMPLE 0 c->verify_data->c->nr_uuids
NO_OVERFLOW_SIMPLE 0 c->verify_data->c->search.min_nr
HALF_LOCKED2 global &bch_register_lock

drivers/md/bcache/extents.c __bch_extent_invalid() -> __ptr_invalid()

Type Parameter Key Value
PARAM_VALUE 1 k 4096-ptr_max
CAPPED_DATA 1 k 1
DATA_SOURCE 0 c $0
DATA_SOURCE 1 k $1
RX_PATH
TASK_NOT_RUNNING