Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-table.c dm_table_complete() -> dm_table_construct_crypto_profile()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->depth 1-2147483648
PARAM_VALUE 0 t->flush_bypasses_map 0
PARAM_VALUE 0 t->md 4096-ptr_max
PARAM_VALUE 0 t->mode 1,3
PARAM_VALUE 0 t->num_allocated 8-1048576
PARAM_VALUE 0 t->num_targets 1-1048576
PARAM_VALUE 0 *t->counts 0-477218589
CAPPED_DATA 0 t->num_targets 1
DATA_SOURCE 0 t $0
NO_OVERFLOW_SIMPLE 0 t->num_allocated
HALF_LOCKED2 &md->type_lock