Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/bcache/alloc.c __bch_bucket_alloc_set() -> bucket_to_sector()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 1 b 0-9223372036854775807
DATA_SOURCE 0 c $0
DATA_SOURCE 1 b r bch_bucket_alloc
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->root->c->bio_meta.min_nr
NO_OVERFLOW_SIMPLE 0 c->root->c->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 c->root->c->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 c->root->c->fill_iter.min_nr
NO_OVERFLOW_SIMPLE 0 c->root->c->nr_uuids
NO_OVERFLOW_SIMPLE 0 c->root->c->search.min_nr
NO_OVERFLOW_SIMPLE 0 c->search.min_nr
LOCK2 0 &c->bucket_lock
TYPE_LOCK (struct cache_set)->bucket_lock

drivers/md/bcache/journal.c journal_read_bucket() -> bucket_to_sector()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max

drivers/md/bcache/journal.c journal_reclaim() -> bucket_to_sector()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
BUF_SIZE 0 c (-1),87472
BUF_SIZE 0 c (-1),87472
BUF_SIZE 0 c->root (-1),1120
CAPPED_DATA 0 c->cache->journal.last_idx 1
DATA_SOURCE 0 c $0
PREEMPT_ADD
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->root->c->bio_meta.min_nr
NO_OVERFLOW_SIMPLE 0 c->root->c->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 c->root->c->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 c->root->c->fill_iter.min_nr
NO_OVERFLOW_SIMPLE 0 c->root->c->nr_uuids
NO_OVERFLOW_SIMPLE 0 c->root->c->search.min_nr
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 &c->journal.lock
HALF_LOCKED2 0 &c->journal.lock
HALF_LOCKED2 0 &c->root->io_mutex
TYPE_LOCK (struct journal)->lock