Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-verity-target.c verity_ctr() -> verity_fec_ctr()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->alg_name 4096-ptr_max
PARAM_VALUE 0 v->bufio->bdev 4096-ptr_max
PARAM_VALUE 0 v->data_dev 4096-ptr_max
PARAM_VALUE 0 v->data_dev->bdev 4096-ptr_max
PARAM_VALUE 0 v->digest_size 0-4000000
PARAM_VALUE 0 v->fec 4096-ptr_max
PARAM_VALUE 0 v->hash_dev 4096-ptr_max
PARAM_VALUE 0 v->hash_dev->bdev 4096-ptr_max
PARAM_VALUE 0 v->initial_hashstate.sha256 4096-ptr_max
PARAM_VALUE 0 v->io 4096-ptr_max
PARAM_VALUE 0 v->io->bios.back_pad 0,64
PARAM_VALUE 0 v->io->bios.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 v->io->bios.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 v->io->bios.bio_pool.free 8263660038527102976
PARAM_VALUE 0 v->io->bios.bio_pool.min_nr 1-1024
PARAM_VALUE 0 v->io->bios.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 v->io->bios.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 v->io->bios.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 v->io->bios.front_pad 0
PARAM_VALUE 0 v->io->bios.rescue_list.head 0
PARAM_VALUE 0 v->io->bios.rescue_list.tail 0
PARAM_VALUE 0 v->io->pool.alloc 7276475779886346240
PARAM_VALUE 0 v->io->pool.curr_nr 1-s32max
PARAM_VALUE 0 v->io->pool.free 8263660038527102976
PARAM_VALUE 0 v->io->pool.min_nr 1-1024
PARAM_VALUE 0 v->levels 0-63
PARAM_VALUE 0 v->recheck_pool.alloc 8450676485683146752
PARAM_VALUE 0 v->recheck_pool.curr_nr 1-s32max
PARAM_VALUE 0 v->recheck_pool.elements 1-u64max
PARAM_VALUE 0 v->recheck_pool.free 9039121080127385600
PARAM_VALUE 0 v->recheck_pool.min_nr 1
PARAM_VALUE 0 v->recheck_pool.pool_data 0
PARAM_VALUE 0 v->recheck_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 v->recheck_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 v->recheck_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 v->recheck_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 v->recheck_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 v->root_digest 16,4096-ptr_max
PARAM_VALUE 0 v->salt 0,16,4096-ptr_max
PARAM_VALUE 0 v->shash_tfm 1-ptr_max
PARAM_VALUE 0 v->sig_size 0-u16max
PARAM_VALUE 0 v->ti 4096-ptr_max
PARAM_VALUE 0 v->ti->error 4096-ptr_max
PARAM_VALUE 0 v->ti->len 1-u64max
PARAM_VALUE 0 v->ti->private 4096-ptr_max
PARAM_VALUE 0 v->ti->table 4096-ptr_max
PARAM_VALUE 0 v->ti->type 4096-ptr_max
PARAM_VALUE 0 v->use_sha256_finup_2x 1
PARAM_VALUE 0 v->use_sha256_lib 1
PARAM_VALUE 0 v->verify_wq 4096-ptr_max
PARAM_VALUE 0 v->version 0-1
BUF_SIZE 0 v 896
BUF_SIZE 0 v->io 824
BUF_SIZE 0 v->root_digest 0-u32max
BUF_SIZE 0 v->verify_wq (-1),512,528-8720
CAPPED_DATA 0 v->bufio->start 1
CAPPED_DATA 0 v->data_blocks 1
CAPPED_DATA 0 v->hash_end 1
CAPPED_DATA 0 v->hash_start 1
CAPPED_DATA 0 v->ti->begin 1
DATA_SOURCE 0 v r _kzalloc_noprof
FUZZY_MAX 0 v->levels 1
STR_LEN 0 v->ti->error (-1),13
BIT_INFO 0 v->bufio 0xffffffe0,0xffffffffffffffff
TERMINATED 0 v->ti->error 1
POWER_OF_TWO 0 v->data_dev_block_bits
POWER_OF_TWO 0 v->hash_dev_block_bits
POWER_OF_TWO 0 *v
NO_OVERFLOW_SIMPLE 0 v->hash_end
NO_OVERFLOW_SIMPLE 0 v->ti->begin
NO_OVERFLOW_SIMPLE 0 v->ti->len
HALF_LOCKED2 &md->type_lock