Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-snap.c register_snapshot() -> __validate_exception_handover()

Type Parameter Key Value
PARAM_VALUE 0 snap 4096-ptr_max
PARAM_VALUE 0 snap->active 0
PARAM_VALUE 0 snap->bios_queued_during_merge.head 0
PARAM_VALUE 0 snap->bios_queued_during_merge.tail 0
PARAM_VALUE 0 snap->complete.hash_mask 0-26213
PARAM_VALUE 0 snap->complete.hash_shift 8
PARAM_VALUE 0 snap->complete.table 16,4096-ptr_max
PARAM_VALUE 0 snap->cow 4096-ptr_max
PARAM_VALUE 0 snap->cow->bdev 4096-ptr_max
PARAM_VALUE 0 snap->exception_complete_sequence 0
PARAM_VALUE 0 snap->exception_start_sequence 0
PARAM_VALUE 0 snap->first_merging_chunk 0
PARAM_VALUE 0 snap->in_progress_wait.head.next 4096-ptr_max
PARAM_VALUE 0 snap->in_progress_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 snap->in_progress_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 snap->in_progress_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 snap->in_progress_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 snap->kcopyd_client 4096-ptr_max
PARAM_VALUE 0 snap->kcopyd_client->io_client->bios.back_pad 0,64
PARAM_VALUE 0 snap->kcopyd_client->io_client->bios.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 snap->kcopyd_client->io_client->bios.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 snap->kcopyd_client->io_client->bios.bio_pool.free 8263660038527102976
PARAM_VALUE 0 snap->kcopyd_client->io_client->bios.bio_pool.min_nr 1-1024
PARAM_VALUE 0 snap->kcopyd_client->io_client->bios.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 snap->kcopyd_client->io_client->bios.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 snap->kcopyd_client->io_client->bios.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 snap->kcopyd_client->io_client->pool.alloc 7276475779886346240
PARAM_VALUE 0 snap->kcopyd_client->io_client->pool.curr_nr 1-s32max
PARAM_VALUE 0 snap->kcopyd_client->io_client->pool.free 8263660038527102976
PARAM_VALUE 0 snap->kcopyd_client->io_client->pool.min_nr 1-1024
PARAM_VALUE 0 snap->kcopyd_client->job_pool.alloc 7276475779886346240
PARAM_VALUE 0 snap->kcopyd_client->job_pool.curr_nr 1-s32max
PARAM_VALUE 0 snap->kcopyd_client->job_pool.free 8263660038527102976
PARAM_VALUE 0 snap->kcopyd_client->job_pool.min_nr 8
PARAM_VALUE 0 snap->kcopyd_client->nr_jobs.counter 0
PARAM_VALUE 0 snap->kcopyd_client->nr_reserved_pages 1-2560
PARAM_VALUE 0 snap->kcopyd_client->sub_job_size 2-20480
PARAM_VALUE 0 snap->kcopyd_client->throttle 328210832927166464
PARAM_VALUE 0 snap->list.next 4096-ptr_max
PARAM_VALUE 0 snap->list.next->next 4096-ptr_max
PARAM_VALUE 0 snap->list.prev 4096-ptr_max
PARAM_VALUE 0 snap->list.prev->next 4096-ptr_max
PARAM_VALUE 0 snap->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 snap->lock.count.counter 0
PARAM_VALUE 0 snap->lock.dep_map->name 0-255
PARAM_VALUE 0 snap->lock.first_waiter 0
PARAM_VALUE 0 snap->lock.magic 4096-ptr_max
PARAM_VALUE 0 snap->lock.osq.tail.counter 0
PARAM_VALUE 0 snap->lock.owner.counter 0
PARAM_VALUE 0 snap->merge_failed 0
PARAM_VALUE 0 snap->num_merging_chunks 0
PARAM_VALUE 0 snap->origin 4096-ptr_max
PARAM_VALUE 0 snap->pending.hash_mask 63-3275
PARAM_VALUE 0 snap->pending.hash_shift 0
PARAM_VALUE 0 snap->pending.table 4096-ptr_max
PARAM_VALUE 0 snap->pending_exceptions_count.counter 0
PARAM_VALUE 0 snap->pending_pool.alloc 7276475779886346240
PARAM_VALUE 0 snap->pending_pool.curr_nr 1-s32max
PARAM_VALUE 0 snap->pending_pool.elements 1-u64max
PARAM_VALUE 0 snap->pending_pool.free 8263660038527102976
PARAM_VALUE 0 snap->pending_pool.min_nr 256
PARAM_VALUE 0 snap->pending_pool.pool_data 0,4096-ptr_max
PARAM_VALUE 0 snap->pending_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 snap->pending_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 snap->pending_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 snap->pending_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 snap->pending_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 snap->snapshot_overflowed 0
PARAM_VALUE 0 snap->state_bits 0
PARAM_VALUE 0 snap->store 4096-ptr_max
PARAM_VALUE 0 snap->store->chunk_mask 0-4194302
PARAM_VALUE 0 snap->store->chunk_size 0-4194303
PARAM_VALUE 0 snap->store->snap 4096-ptr_max
PARAM_VALUE 0 snap->ti 4096-ptr_max
PARAM_VALUE 0 snap->ti->error 2315922945982840832,6178336389065121792,6894647089322225664
PARAM_VALUE 0 snap->ti->len 1-u64max
PARAM_VALUE 0 snap->ti->table 4096-ptr_max
PARAM_VALUE 0 snap->ti->type 4096-ptr_max
PARAM_VALUE 0 snap->tracked_chunk_hash 4096-ptr_max
PARAM_VALUE 0 snap->valid 1
BUF_SIZE 0 snap 968
BUF_SIZE 0 snap->kcopyd_client 560
CAPPED_DATA 0 snap->kcopyd_client->sub_job_size 1
CAPPED_DATA 0 snap->ti->begin 1
DATA_SOURCE 0 snap $0
STR_LEN 0 snap->ti->error (-1),13
BIT_INFO 0 snap->out_of_order_tree 0x0,0x7fffffffffffffff
TERMINATED 0 snap->ti->error 1
NO_OVERFLOW_SIMPLE 0 snap->kcopyd_client->io_client->bios.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 snap->kcopyd_client->io_client->bios.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 snap->kcopyd_client->io_client->pool.min_nr
NO_OVERFLOW_SIMPLE 0 snap->store->chunk_size
NO_OVERFLOW_SIMPLE 0 snap->ti->begin
NO_OVERFLOW_SIMPLE 0 snap->ti->len
LOCK2 global &_origins_lock
HALF_LOCKED2 &md->type_lock