Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/bcache/request.c cache_lookup_fn() -> __bch_submit_bbio()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 0 bio->bi_end_io 6850721403944194048
PARAM_VALUE 0 bio->bi_private 4096-ptr_max
PARAM_VALUE 1 c 4096-ptr_max
PARAM_VALUE 1 c->cache 4096-ptr_max
BUF_SIZE 0 bio (-1),144
BUF_SIZE 0 bio (-1),144
BUF_SIZE 0 bio->bi_private 136
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 c->bio_meta.min_nr
NO_OVERFLOW_SIMPLE 1 c->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 1 c->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 1 c->fill_iter.min_nr
NO_OVERFLOW_SIMPLE 1 c->nr_uuids
NO_OVERFLOW_SIMPLE 1 c->search.min_nr
HALF_LOCKED2 b

drivers/md/bcache/io.c bch_submit_bbio() -> __bch_submit_bbio()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 c->uuid_write_mutex.first_waiter->up 0-1
BUF_SIZE 0 bio (-1),144
BUF_SIZE 0 bio (-1),144
BUF_SIZE 0 bio->bi_private (-1),136
DATA_SOURCE 0 bio $0
DATA_SOURCE 1 c $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 c->bio_meta.min_nr
NO_OVERFLOW_SIMPLE 1 c->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 1 c->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 1 c->fill_iter.min_nr
NO_OVERFLOW_SIMPLE 1 c->nr_uuids
NO_OVERFLOW_SIMPLE 1 c->root->c->bio_meta.min_nr
NO_OVERFLOW_SIMPLE 1 c->root->c->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 1 c->root->c->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 1 c->root->c->fill_iter.min_nr
NO_OVERFLOW_SIMPLE 1 c->root->c->nr_uuids
NO_OVERFLOW_SIMPLE 1 c->root->c->search.min_nr
NO_OVERFLOW_SIMPLE 1 c->search.min_nr
HALF_LOCKED2 &b->io_mutex
HALF_LOCKED2 &c->moving_in_flight
HALF_LOCKED2 1 &c->uuid_write_mutex