Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-bio-prison-v2.c dm_cell_put_v2() -> __put()

Type Parameter Key Value
PARAM_VALUE 1 cell 1-u64max
DATA_SOURCE 0 prison $0
DATA_SOURCE 1 cell $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &prison->lock
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dm_bio_prison_v2)->lock