Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-clone-target.c __start_next_hydration() -> __batch_hydration()

Type Parameter Key Value
PARAM_VALUE 0 batch 4459811243590336512
PARAM_VALUE 0 batch->head 0,4096-ptr_max
PARAM_VALUE 0 batch->nr_batched_regions 0-7
PARAM_VALUE 1 hd 4096-ptr_max
PARAM_VALUE 1 hd->clone 4096-ptr_max
PARAM_VALUE 1 hd->clone->cmd 4096-ptr_max
PARAM_VALUE 1 hd->clone->deferred_bios.head 0
PARAM_VALUE 1 hd->clone->deferred_bios.tail 0
PARAM_VALUE 1 hd->clone->deferred_discard_bios.head 0
PARAM_VALUE 1 hd->clone->deferred_discard_bios.tail 0
PARAM_VALUE 1 hd->clone->deferred_flush_bios.head 0
PARAM_VALUE 1 hd->clone->deferred_flush_bios.tail 0
PARAM_VALUE 1 hd->clone->ios_in_flight.counter 0
PARAM_VALUE 1 hd->clone->mode 0
PARAM_VALUE 1 hd->deferred_bios.head 0
PARAM_VALUE 1 hd->deferred_bios.tail 0
PARAM_VALUE 1 hd->h->pprev 4096-ptr_max
PARAM_VALUE 1 hd->h.pprev 4096-ptr_max
PARAM_VALUE 1 hd->overwrite_bio 0
PARAM_VALUE 1 hd->region_nr 0-64
PARAM_VALUE 1 hd->status 0
DATA_SOURCE 0 batch $2
DATA_SOURCE 1 hd r alloc_hydration
NOCHECK_CALL
HALF_LOCKED2 &pool->lock