Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/bcache/journal.c journal_wait_for_write() -> btree_flush_write()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->cache 4096-ptr_max
PARAM_VALUE 0 c->journal.cur 4096-ptr_max
PARAM_VALUE 0 c->journal.cur->data 4096-ptr_max
PARAM_VALUE 0 c->journal.key.high 0,268435456-u64max
PARAM_VALUE 0 c->journal.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 c->root->io_mutex.first_waiter->up 0-1
PARAM_VALUE 0 c->root->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 c->root->lock.first_waiter->type 0-1
BUF_SIZE 0 c->root (-1),1120
DATA_SOURCE 0 c $0
RX_PATH
TASK_NOT_RUNNING
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->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

drivers/md/bcache/journal.c journal_write_unlocked() -> btree_flush_write()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->cache 4096-ptr_max
PARAM_VALUE 0 c->journal.cur 4096-ptr_max
PARAM_VALUE 0 c->journal.cur->data 4096-ptr_max
PARAM_VALUE 0 c->journal.cur->need_write 1
PARAM_VALUE 0 c->journal.key.high 0,268435456-u64max
PARAM_VALUE 0 c->journal.lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &c->journal.lock