Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-log-userspace-base.c userspace_ctr() -> build_constructor_string()

Type Parameter Key Value
PARAM_VALUE 0 ti 4096-ptr_max
PARAM_VALUE 0 ti->error 6178336389065121792
PARAM_VALUE 0 ti->len 1-u64max
PARAM_VALUE 0 ti->table 4096-ptr_max
PARAM_VALUE 0 ti->table->flush_bypasses_map 1
PARAM_VALUE 0 ti->table->mode 1,3
PARAM_VALUE 0 ti->table->num_allocated 8-1048576
PARAM_VALUE 0 ti->table->type 0
PARAM_VALUE 0 ti->type 4096-ptr_max
PARAM_VALUE 0 ti->type->module 0,4096-ptr_max
PARAM_VALUE 0 ti->type->module->refcnt.counter 0-s32max
PARAM_VALUE 0 ti->type->module->state 0-1,3-u32max
PARAM_VALUE 1 argc 1-2147483644
PARAM_VALUE 2 argv 4097-18446744073709547521
PARAM_VALUE 3 ctr_str 2357068299043069952
PARAM_VALUE 3 *ctr_str 0
PARAM_VALUE 3 *(*ctr_str) 0
BUF_SIZE 0 ti->error 14
CAPPED_DATA 0 ti->begin 1
CAPPED_DATA 0 ti->table->num_targets 1
CAPPED_DATA 0 ti->type 1
DATA_SOURCE 0 ti $1
DATA_SOURCE 1 argc $2 [m]
DATA_SOURCE 2 argv $3 [m]
STR_LEN 0 ti->error 13
TERMINATED 0 ti->error 1
NO_OVERFLOW_SIMPLE 0 ti->begin
NO_OVERFLOW_SIMPLE 0 ti->len
NO_OVERFLOW_SIMPLE 0 ti->table->num_allocated