Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ps 4096-ptr_max
PARAM_VALUE 0 ps->area 1-u64max
PARAM_VALUE 0 ps->callbacks 16,4096-ptr_max
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->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->store->snap 4096-ptr_max
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 ps_area 0-ptr_max
PARAM_VALUE 2 callback 1017299368356372480
PARAM_VALUE 3 callback_context 4096-ptr_max
PARAM_VALUE 4 full 1380146138443874304
PARAM_VALUE 4 *full 1
BUF_SIZE 0 ps 8,104
BUF_SIZE 0 ps 8,104
BUF_SIZE 0 ps->callbacks 0,512-s32max
BUF_SIZE 3 callback_context 968
BUF_SIZE 3 callback_context 968
BUF_SIZE 3 callback_context->kcopyd_client 560
CAPPED_DATA 0 ps->current_area 1
CAPPED_DATA 0 ps->exceptions_per_area 1
CAPPED_DATA 3 callback_context->kcopyd_client->sub_job_size 1
CAPPED_DATA 3 callback_context->origin->bdev 1
CAPPED_DATA 3 callback_context->store->chunk_size 1
CAPPED_DATA 3 callback_context->ti->begin 1
DATA_SOURCE 0 ps $0
DATA_SOURCE 1 ps_area r dm_bufio_read
DATA_SOURCE 2 callback $1
DATA_SOURCE 3 callback_context $2
STR_LEN 3 callback_context->ti->error (-1),13
BIT_INFO 3 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->io_client->bios.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 ps->io_client->pool.min_nr
NO_OVERFLOW_SIMPLE 0 ps->store->chunk_size
HALF_LOCKED2 &md->type_lock