Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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 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.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 index 0-268435423
PARAM_VALUE 3 result 3519824858964664320
BUF_SIZE 0 ps 8,104
BUF_SIZE 0 ps 8,104
BUF_SIZE 0 ps->callbacks 0,512-s32max
CAPPED_DATA 0 ps->current_area 1
CAPPED_DATA 2 index 1
DATA_SOURCE 0 ps $0
DATA_SOURCE 1 ps_area $1
PARAM_COMPARE 2 index < $0->exceptions_per_area
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ps->current_committed
NO_OVERFLOW_SIMPLE 0 ps->exceptions_per_area
NO_OVERFLOW_SIMPLE 0 ps->io_client->pool.min_nr
NO_OVERFLOW_SIMPLE 0 ps->store->chunk_size
NO_OVERFLOW_SIMPLE 2 index
UNITS 2 index unit_array_size

drivers/md/dm-snap-persistent.c persistent_prepare_merge() -> read_exception()

Type Parameter Key Value
PARAM_VALUE 0 ps 4096-ptr_max
PARAM_VALUE 3 result 7494581634701754368
BUF_SIZE 0 ps 8,104
BUF_SIZE 0 ps 8,104
BUF_SIZE 1 ps_area 512-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-snap-persistent.c persistent_prepare_merge() -> read_exception()

Type Parameter Key Value
PARAM_VALUE 0 ps 4096-ptr_max
PARAM_VALUE 0 ps->current_committed 2-u32max
PARAM_VALUE 0 ps->exceptions_per_area 1-u32max
PARAM_VALUE 3 result 7494581634701754368
BUF_SIZE 0 ps 8,104
BUF_SIZE 0 ps 8,104
BUF_SIZE 1 ps_area 512-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock