Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/bcache/journal.c bch_journal() -> journal_try_write()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->cache 4096-ptr_max
PARAM_VALUE 0 c->caching.s->done 0-1
PARAM_VALUE 0 c->journal.cur 4096-ptr_max
PARAM_VALUE 0 c->journal.cur->data 4096-ptr_max
BUF_SIZE 0 c->root (-1),1120
DATA_SOURCE 0 c $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &c->journal.lock
HALF_LOCKED2 &b->io_mutex
TYPE_LOCK (struct journal)->lock

drivers/md/bcache/journal.c journal_wait_for_write() -> journal_try_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->data->keys 1-u32max
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
PREEMPT_ADD <- disables preempt
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
LOCK2 0 &c->journal.lock
TYPE_LOCK (struct journal)->lock

drivers/md/bcache/journal.c journal_write_work() -> journal_try_write()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->journal.cur 4096-ptr_max
PARAM_VALUE 0 c->journal.cur->dirty 1
PARAM_VALUE 0 c->journal.lock.rlock.dep_map->name 0-255
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 0 &c->journal.lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct journal)->lock