Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-crypt.c crypt_ctr() -> crypt_integrity_ctr()

Type Parameter Key Value
PARAM_VALUE 0 cc 4096-ptr_max
PARAM_VALUE 0 cc->bio_alloc_lock.dep_map->name 0-255
PARAM_VALUE 0 cc->bio_alloc_lock.first_waiter 0
PARAM_VALUE 0 cc->bio_alloc_lock.magic 4096-ptr_max
PARAM_VALUE 0 cc->bio_alloc_lock.osq.tail.counter 0
PARAM_VALUE 0 cc->bio_alloc_lock.owner.counter 0
PARAM_VALUE 0 cc->bs.back_pad 0,64
PARAM_VALUE 0 cc->bs.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 cc->bs.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 cc->bs.bio_pool.elements 1-u64max
PARAM_VALUE 0 cc->bs.bio_pool.free 8263660038527102976
PARAM_VALUE 0 cc->bs.bio_pool.min_nr 64
PARAM_VALUE 0 cc->bs.bio_pool.pool_data 1-u64max
PARAM_VALUE 0 cc->bs.bio_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 cc->bs.bio_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 cc->bs.bio_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 cc->bs.bio_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 cc->bs.bio_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 cc->bs.bio_slab 1-u64max
PARAM_VALUE 0 cc->bs.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 cc->bs.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 cc->bs.bvec_pool.elements 1-u64max
PARAM_VALUE 0 cc->bs.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 cc->bs.bvec_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 cc->bs.bvec_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 cc->bs.bvec_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 cc->bs.bvec_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 cc->bs.bvec_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 cc->bs.cache 0,4096-ptr_max
PARAM_VALUE 0 cc->bs.cpuhp_dead->pprev 4096-ptr_max
PARAM_VALUE 0 cc->bs.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 cc->bs.front_pad 0
PARAM_VALUE 0 cc->bs.rescue_list.head 0
PARAM_VALUE 0 cc->bs.rescue_list.tail 0
PARAM_VALUE 0 cc->bs.rescue_workqueue 0,4096-ptr_max
PARAM_VALUE 0 cc->cipher_tfm.tfms 4096-ptr_max
PARAM_VALUE 0 cc->dev 4096-ptr_max
PARAM_VALUE 0 cc->dev->bdev 4096-ptr_max
PARAM_VALUE 0 cc->dmreq_start 0,8-u32max
PARAM_VALUE 0 cc->key_size 0-s32max
PARAM_VALUE 0 cc->page_pool.alloc 6741555051827322880
PARAM_VALUE 0 cc->page_pool.curr_nr 1-s32max
PARAM_VALUE 0 cc->page_pool.elements 1-u64max
PARAM_VALUE 0 cc->page_pool.free 4136790450775879680
PARAM_VALUE 0 cc->page_pool.min_nr 256
PARAM_VALUE 0 cc->page_pool.pool_data 4096-ptr_max
PARAM_VALUE 0 cc->page_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 cc->page_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 cc->page_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 cc->page_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 cc->page_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 cc->req_pool.alloc 478628002987114496
PARAM_VALUE 0 cc->req_pool.curr_nr 1-s32max
PARAM_VALUE 0 cc->req_pool.elements 1-u64max
PARAM_VALUE 0 cc->req_pool.free 9178302734063534080
PARAM_VALUE 0 cc->req_pool.min_nr 64
PARAM_VALUE 0 cc->req_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 cc->req_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 cc->req_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 cc->req_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 cc->req_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 cc->sector_shift 0
PARAM_VALUE 0 cc->sector_size 512
PARAM_VALUE 1 ti 4096-ptr_max
PARAM_VALUE 1 ti->error 6178336389065121792
PARAM_VALUE 1 ti->len 1-u64max
PARAM_VALUE 1 ti->num_discard_bios 0-1
PARAM_VALUE 1 ti->private 4096-ptr_max
PARAM_VALUE 1 ti->private->authenc_key->rta_len 8
PARAM_VALUE 1 ti->private->authenc_key->rta_type 1
PARAM_VALUE 1 ti->private->iv_gen_ops 0
PARAM_VALUE 1 ti->private->iv_size 0-4294967295
PARAM_VALUE 1 ti->private->key_parts 0-4294967295
PARAM_VALUE 1 ti->private->tfms_count 0-4294967295
PARAM_VALUE 1 ti->table 4096-ptr_max
PARAM_VALUE 1 ti->table->md->table_devices_lock.dep_map->name 0-255
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 ti->table->md->table_devices_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 ti->table->mode 1,3
PARAM_VALUE 1 ti->table->num_allocated 8-1048576
PARAM_VALUE 1 ti->table->num_targets 0-1048575
PARAM_VALUE 1 ti->table->type 0
PARAM_VALUE 1 ti->type 4096-ptr_max
PARAM_VALUE 1 ti->type->module 0,4096-ptr_max
PARAM_VALUE 1 ti->type->module->refcnt.counter 0-s32max
PARAM_VALUE 1 ti->type->module->state 0-1,3-u32max
PARAM_VALUE 1 *ti->private->authenc_key 0-255
PARAM_VALUE 1 *ti->private->cipher_string 0-255
PARAM_VALUE 1 *ti->private->key 0-255
PARAM_VALUE 1 *ti->private->key_string 0-255
BUF_SIZE 0 cc 1752-2147485399
BUF_SIZE 0 cc 1752-2147485399
BUF_SIZE 1 ti->error 14
BUF_SIZE 1 ti->private 1752-2147485399
CAPPED_DATA 0 cc->start 1
CAPPED_DATA 1 ti->begin 1
CAPPED_DATA 1 ti->table->md->disk 1
CAPPED_DATA 1 ti->table->num_targets 1
CAPPED_DATA 1 ti->type 1
DATA_SOURCE 0 cc r _kzalloc_noprof
DATA_SOURCE 1 ti $0
FUZZY_MAX 1 ti->num_discard_bios 0
STR_LEN 1 ti->error 13
BIT_INFO 0 cc->dmreq_start 0x0,0xfffffff8
BIT_INFO 1 ti->per_io_data_size 0x0,0xfffffff8
TERMINATED 1 ti->error 1
MEM_ZERO 1 ti
MEM_ZERO 1 ti->private
NO_OVERFLOW_SIMPLE 1 ti->begin
NO_OVERFLOW_SIMPLE 1 ti->len
NO_OVERFLOW_SIMPLE 1 ti->table->num_allocated
HALF_LOCKED2 &md->type_lock