Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-snap-persistent.c persistent_read_metadata() -> read_exceptions()

Type Parameter Key Value
PARAM_VALUE 0 ps 4096-ptr_max
PARAM_VALUE 0 ps->area 1-u64max
PARAM_VALUE 0 ps->callbacks 1-18446744073709551614
PARAM_VALUE 0 ps->exceptions_per_area 0,32-268435424
PARAM_VALUE 0 ps->header_area 1-u64max
PARAM_VALUE 0 ps->io_client 4096-ptr_max
PARAM_VALUE 0 ps->io_client->bios.back_pad 0,64
PARAM_VALUE 0 ps->io_client->bios.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 ps->io_client->bios.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 ps->io_client->bios.bio_pool.free 8263660038527102976
PARAM_VALUE 0 ps->io_client->bios.bio_pool.min_nr 1-1024
PARAM_VALUE 0 ps->io_client->bios.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 ps->io_client->bios.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 ps->io_client->bios.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 ps->io_client->bios.front_pad 0
PARAM_VALUE 0 ps->io_client->bios.rescue_list.head 0
PARAM_VALUE 0 ps->io_client->bios.rescue_list.tail 0
PARAM_VALUE 0 ps->io_client->pool.alloc 7276475779886346240
PARAM_VALUE 0 ps->io_client->pool.curr_nr 1-s32max
PARAM_VALUE 0 ps->io_client->pool.free 8263660038527102976
PARAM_VALUE 0 ps->io_client->pool.min_nr 1-1024
PARAM_VALUE 0 ps->metadata_wq->first_flusher->done.done 0-4294967295
PARAM_VALUE 0 ps->metadata_wq->first_flusher->done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 ps->metadata_wq->first_flusher->done.wait.lock.owner (-1)
PARAM_VALUE 0 ps->metadata_wq->first_flusher->done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 ps->metadata_wq->first_flusher->done.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 ps->metadata_wq->flush_color s32min-s32max
PARAM_VALUE 0 ps->metadata_wq->flusher_overflow.prev->next 2906673126597898240
PARAM_VALUE 0 ps->metadata_wq->flusher_queue.prev->next 2906673126597898240
PARAM_VALUE 0 ps->metadata_wq->nr_pwqs_to_flush.counter s32min-s32max
PARAM_VALUE 0 ps->metadata_wq->work_color s32min-s32max
PARAM_VALUE 0 ps->store 4096-ptr_max
PARAM_VALUE 0 ps->store->chunk_mask 0-8388606
PARAM_VALUE 0 ps->valid s32min-(-1),1-s32max
PARAM_VALUE 0 ps->version 1
PARAM_VALUE 0 ps->zero_area 1-u64max
PARAM_VALUE 0 *ps->metadata_wq->lockdep_map->name 0-255
PARAM_VALUE 1 callback 1017299368356372480
PARAM_VALUE 2 callback_context 4096-ptr_max
BUF_SIZE 0 ps 8,104
BUF_SIZE 0 ps 8,104
BUF_SIZE 0 ps->callbacks 0,512-4294966784
BUF_SIZE 2 callback_context 968
BUF_SIZE 2 callback_context 968
BUF_SIZE 2 callback_context->kcopyd_client 560
CAPPED_DATA 2 callback_context->kcopyd_client->sub_job_size 1
CAPPED_DATA 2 callback_context->origin->bdev 1
CAPPED_DATA 2 callback_context->store->chunk_size 1
CAPPED_DATA 2 callback_context->ti->begin 1
DATA_SOURCE 1 callback $1
DATA_SOURCE 2 callback_context $2
STR_LEN 2 callback_context->ti->error (-1),13
BIT_INFO 2 callback_context->out_of_order_tree 0x0,0x7fffffffffffffff
NO_OVERFLOW_SIMPLE 0 ps->exceptions_per_area
NO_OVERFLOW_SIMPLE 0 ps->io_client->bios.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 ps->io_client->bios.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 ps->store->chunk_size
HALF_LOCKED2 &md->type_lock