Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/bcache/movinggc.c read_moving() -> moving_init()

Type Parameter Key Value
PARAM_VALUE 0 io 4096-ptr_max
PARAM_VALUE 0 io->op.c 4096-ptr_max
PARAM_VALUE 0 io->op.c->btree_gc_time.last 1-u64max
PARAM_VALUE 0 io->op.c->bucket_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 io->op.c->bucket_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 io->op.c->cache 4096-ptr_max
PARAM_VALUE 0 io->op.c->copy_gc_enabled 1
PARAM_VALUE 0 io->op.c->gc_mark_valid 1
PARAM_VALUE 0 io->op.c->gc_stats.data 0
PARAM_VALUE 0 io->op.c->gc_stats.key_bytes 0
PARAM_VALUE 0 io->op.c->moving_gc_keys.keys.rb_node 1-u64max
PARAM_VALUE 0 io->op.c->root 4096-ptr_max
PARAM_VALUE 0 io->op.inode 0-1048575
PARAM_VALUE 0 io->w 4096-ptr_max
PARAM_VALUE 0 io->w->private 4096-ptr_max
BUF_SIZE 0 io 0-u64max
BUF_SIZE 0 io->op.c 128
CAPPED_DATA 0 io->op.c->devices_max_used 1
DATA_SOURCE 0 io r _kzalloc_noprof
NOCHECK_CALL
HALF_LOCKED2 &c->moving_in_flight

drivers/md/bcache/movinggc.c write_moving() -> moving_init()

Type Parameter Key Value
PARAM_VALUE 0 io 4096-ptr_max
PARAM_VALUE 0 io->op.status 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL