Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-verity-fec.c fec_alloc_and_init_io() -> fec_max_nbufs()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
DATA_SOURCE 0 v $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 v->bufio->block_size
NO_OVERFLOW_SIMPLE 0 v->bufio->slab_buffer->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 v->bufio->slab_cache->object_size
NO_OVERFLOW_SIMPLE 0 v->bufio->slab_cache->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 v->fec->block_size
NO_OVERFLOW_SIMPLE 0 v->fec->bufio->block_size
NO_OVERFLOW_SIMPLE 0 v->fec->bufio->slab_buffer->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 v->fec->bufio->slab_cache->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 v->salt_size

drivers/md/dm-verity-fec.c verity_fec_ctr() -> fec_max_nbufs()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
BUF_SIZE 0 v 896
BUF_SIZE 0 v->bufio 704-12992
BUF_SIZE 0 v->io 824
BUF_SIZE 0 v->root_digest 0-s32max
BUF_SIZE 0 v->verify_wq (-1),512,528-8720
CAPPED_DATA 0 v->bufio->slab_buffer 1
CAPPED_DATA 0 v->bufio->start 1
CAPPED_DATA 0 v->data_blocks 1
CAPPED_DATA 0 v->data_dev_block_bits 1
CAPPED_DATA 0 v->hash_dev_block_bits 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 $0
STR_LEN 0 v->ti->error (-1),13
PARAM_COMPARE 0 v->data_dev_block_bits == $0->hash_dev_block_bits
BIT_INFO 0 v->bufio->block_size 0x0,0xffffffff
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->bufio->dm_io->bios.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 v->bufio->dm_io->bios.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 v->bufio->dm_io->bios.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 v->bufio->dm_io->pool.min_nr
NO_OVERFLOW_SIMPLE 0 v->hash_end
NO_OVERFLOW_SIMPLE 0 v->io->bios.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 v->io->bios.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 v->ti->begin
NO_OVERFLOW_SIMPLE 0 v->ti->len
HALF_LOCKED2 &md->type_lock