Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/dm-verity-target.c verity_end_io() -> verity_fec_is_enabled()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-verity-target.c verity_status() -> verity_fec_is_enabled()

Type Parameter Key Value
BUF_SIZE 0 v 16,40-s32max
BUF_SIZE 0 v 16,40-s32max
LOCK2 &md->io_barrier
TYPE_LOCK (struct mapped_device)->io_barrier

drivers/md/dm-verity-target.c verity_status() -> verity_fec_is_enabled()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
BUF_SIZE 0 v 16,40-s32max
BUF_SIZE 0 v 16,40-s32max
CAPPED_DATA 0 v->digest_size 1
CAPPED_DATA 0 v->salt_size 1
LOCK2 &md->io_barrier
TYPE_LOCK (struct mapped_device)->io_barrier

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

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->fec 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->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
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

drivers/md/dm-verity-fec.c verity_fec_decode() -> verity_fec_is_enabled()

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->object_size
NO_OVERFLOW_SIMPLE 0 v->bufio->slab_buffer->sheaf_capacity
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_dtr() -> verity_fec_is_enabled()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
BUF_SIZE 0 v (-1),896
BUF_SIZE 0 v (-1),896
BUF_SIZE 0 v->bufio (-1),704-12992
BUF_SIZE 0 v->io (-1),824
BUF_SIZE 0 v->root_digest (-1)-s32max
BUF_SIZE 0 v->verify_wq (-1),512,528-8720
CAPPED_DATA 0 v->alg_name 1
CAPPED_DATA 0 v->bufio 1
CAPPED_DATA 0 v->data_dev 1
CAPPED_DATA 0 v->hash_dev 1
CAPPED_DATA 0 v->io 1
CAPPED_DATA 0 v->root_digest 1
CAPPED_DATA 0 v->salt 1
DATA_SOURCE 0 v $0
STR_LEN 0 v->ti->error (-1),13
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->io->bios.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 v->io->pool.min_nr
NO_OVERFLOW_SIMPLE 0 v->ti->begin
NO_OVERFLOW_SIMPLE 0 v->ti->len

drivers/md/dm-verity-fec.c verity_fec_status_table() -> verity_fec_is_enabled()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->fec 0,4096-ptr_max
BUF_SIZE 0 v 16,40-s32max
BUF_SIZE 0 v 16,40-s32max
CAPPED_DATA 0 v->digest_size 1
CAPPED_DATA 0 v->salt_size 1
DATA_SOURCE 0 v $0
LOCK2 &md->io_barrier
TYPE_LOCK (struct mapped_device)->io_barrier