Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/dm-clone-target.c hydration_complete() -> complete_overwrite_bio()

Type Parameter Key Value
PARAM_VALUE 0 clone 4096-ptr_max
PARAM_VALUE 1 bio 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-thin.c process_prepared_mapping() -> complete_overwrite_bio()

Type Parameter Key Value
PARAM_VALUE 0 clone 4096-ptr_max
PARAM_VALUE 0 clone->deferred_bio_list.head 4096-ptr_max
PARAM_VALUE 0 clone->deferred_bio_list.head->bi_next 0
PARAM_VALUE 0 clone->deferred_bio_list.tail 4096-ptr_max
PARAM_VALUE 0 clone->deferred_bio_list.tail->bi_next 0
PARAM_VALUE 0 clone->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 clone->pool 4096-ptr_max
PARAM_VALUE 0 clone->pool->prison 4096-ptr_max
PARAM_VALUE 0 clone->pool->prison->cell_pool.curr_nr s32min-s32max
PARAM_VALUE 0 clone->td 4096-ptr_max
PARAM_VALUE 0 clone->td->changed 1
PARAM_VALUE 0 clone->td->pmd 4096-ptr_max
PARAM_VALUE 0 clone->td->pmd->in_service 1
PARAM_VALUE 0 clone->td->pmd->info.tm->bm->bufio->need_reserved_buffers 0-4294967295
PARAM_VALUE 0 clone->td->pmd->root_lock.dep_map->name 0-255
PARAM_VALUE 0 clone->td->pmd->root_lock.first_waiter->handoff_set 1
PARAM_VALUE 0 clone->td->pmd->root_lock.first_waiter->type 0-1
PARAM_VALUE 1 bio 1-u64max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock