Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-table.c dm_table_destroy() -> dm_table_destroy_crypto_profile()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->devices.next 4096-ptr_max
PARAM_VALUE 0 t->md->disk->queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 t->md->table_devices_lock.dep_map->name 0-255
PARAM_VALUE 0 t->md->table_devices_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 t->mempools 0,4096-ptr_max
PARAM_VALUE 0 t->mempools->bs->rescue_workqueue->lockdep_map->name 0-255
PARAM_VALUE 0 t->mempools->bs->rescue_workqueue->rescuer->task->delays->lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 t->mempools->bs.cpuhp_dead->next->pprev 1-u64max
PARAM_VALUE 0 t->mempools->io_bs->rescue_workqueue->lockdep_map->name 0-255
PARAM_VALUE 0 t->mempools->io_bs->rescue_workqueue->rescuer->task->delays->lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 t->mempools->io_bs.cpuhp_dead->next->pprev 1-u64max
PARAM_VALUE 0 *t->counts 0-4294967295
CAPPED_DATA 0 t->highs 1
CAPPED_DATA 0 t->mempools 1
CAPPED_DATA 0 t->num_targets 1
CAPPED_DATA 0 &t->devices 1
DATA_SOURCE 0 t $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 t->mempools->bs.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 t->mempools->bs.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 t->mempools->io_bs.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 t->mempools->io_bs.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 t->num_allocated