Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-thin.c complete_mapping_preparation() -> __complete_mapping_preparation()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 0 m->tc 4096-ptr_max
BUF_SIZE 0 m (-1),4,8-s32max
BUF_SIZE 0 m (-1),4,8-s32max
DATA_SOURCE 0 m $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->cell->key.block_begin
NO_OVERFLOW_SIMPLE 0 m->cell->key.block_end
LOCK2 &pool->lock
LOCK2 flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct pool)->lock

drivers/md/dm-thin.c thin_endio() -> __complete_mapping_preparation()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &pool->lock
LOCK2 flags
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock
TYPE_LOCK (struct pool)->lock