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_parse_opt_args() -> verity_fec_parse_opt_args()

Type Parameter Key Value
PARAM_VALUE 0 as 60681846265696256
PARAM_VALUE 0 as->argv 4097-18446744073709547521
PARAM_VALUE 1 v 4096-ptr_max
PARAM_VALUE 1 v->alg_name 4096-ptr_max
PARAM_VALUE 1 v->data_dev 4096-ptr_max
PARAM_VALUE 1 v->data_dev->bdev 4096-ptr_max
PARAM_VALUE 1 v->digest_size 0-4000000
PARAM_VALUE 1 v->fec 4096-ptr_max
PARAM_VALUE 1 v->hash_dev 4096-ptr_max
PARAM_VALUE 1 v->hash_dev->bdev 4096-ptr_max
PARAM_VALUE 1 v->initial_hashstate.sha256 4096-ptr_max
PARAM_VALUE 1 v->root_digest 16,4096-ptr_max
PARAM_VALUE 1 v->salt 0,16,4096-ptr_max
PARAM_VALUE 1 v->shash_tfm 1-ptr_max
PARAM_VALUE 1 v->ti 4096-ptr_max
PARAM_VALUE 1 v->ti->error 6178336389065121792
PARAM_VALUE 1 v->ti->len 1-u64max
PARAM_VALUE 1 v->ti->private 4096-ptr_max
PARAM_VALUE 1 v->ti->table 4096-ptr_max
PARAM_VALUE 1 v->ti->type 4096-ptr_max
PARAM_VALUE 1 v->use_sha256_finup_2x 1
PARAM_VALUE 1 v->use_sha256_lib 1
PARAM_VALUE 1 v->version 0-1
PARAM_VALUE 1 *v->ti->error 0-255
PARAM_VALUE 2 argc 1455438285115424768
BUF_SIZE 1 v 896
BUF_SIZE 1 v->root_digest 0-s32max
CAPPED_DATA 1 v->data_blocks 1
CAPPED_DATA 1 v->hash_start 1
CAPPED_DATA 1 v->ti->begin 1
DATA_SOURCE 0 as $0
DATA_SOURCE 1 v $1
DATA_SOURCE 3 arg_name r dm_shift_arg
STR_LEN 1 v->ti->error 13
TERMINATED 1 v->ti->error 1
POWER_OF_TWO 1 v->data_dev_block_bits
POWER_OF_TWO 1 v->hash_dev_block_bits
POWER_OF_TWO 1 *v
NO_OVERFLOW_SIMPLE 1 v->ti->begin
NO_OVERFLOW_SIMPLE 1 v->ti->len
HALF_LOCKED2 &md->type_lock