Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/dm-ioctl.c dev_remove() -> dm_table_destroy()

Type Parameter Key Value
PARAM_VALUE 0 t 1-u64max
DATA_SOURCE 0 t r __hash_remove
NOCHECK_CALL

drivers/md/dm-ioctl.c dm_early_create() -> dm_table_destroy()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->flush_bypasses_map 0-1
PARAM_VALUE 0 t->md s64min-(-4096),4096-s64max
PARAM_VALUE 0 t->md->disk->queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 t->mode 1,3
PARAM_VALUE 0 t->num_allocated 8-1048576
PARAM_VALUE 0 t->type 0-4294967295
PARAM_VALUE 0 *t->counts 0-4294967295
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

drivers/md/dm-ioctl.c dm_hash_remove_all() -> dm_table_destroy()

Type Parameter Key Value
PARAM_VALUE 0 t 1-u64max
DATA_SOURCE 0 t r __hash_remove
NOCHECK_CALL

drivers/md/dm-ioctl.c do_resume() -> dm_table_destroy()

Type Parameter Key Value
PARAM_VALUE 0 t 1-u64max
NOCHECK_CALL

drivers/md/dm-ioctl.c do_resume() -> dm_table_destroy()

Type Parameter Key Value
PARAM_VALUE 0 t 1-u64max
PARAM_VALUE 0 t->event_context 4096-ptr_max
PARAM_VALUE 0 t->event_fn 7912152352473755648
PARAM_VALUE 0 t->md->disk->private_data->device->request_queue->dev->power.deferred_resume 0-1
PARAM_VALUE 0 t->md->disk->private_data->device->request_queue->dev->power.idle_notification 0-1
PARAM_VALUE 0 t->md->disk->private_data->device->request_queue->dev->power.request 0-4294967295
PARAM_VALUE 0 t->md->disk->private_data->device->request_queue->dev->power.request_pending 0-1
PARAM_VALUE 0 t->md->disk->private_data->device->request_queue->dev->power.runtime_error s32min-s32max
PARAM_VALUE 0 t->md->disk->private_data->device->request_queue->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 t->md->disk->private_data->device->request_queue->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 t->md->disk->private_data->device->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 t->md->disk->private_data->device->type 0-255
PARAM_VALUE 0 t->md->disk->private_data->io_barrier.dep_map->name 0-255
PARAM_VALUE 0 t->md->disk->private_data->nr_open_zones 0-4294967295
PARAM_VALUE 0 t->md->disk->private_data->queue->dev->power.deferred_resume 0-1
PARAM_VALUE 0 t->md->disk->private_data->queue->dev->power.idle_notification 0-1
PARAM_VALUE 0 t->md->disk->private_data->queue->dev->power.request 0-4294967295
PARAM_VALUE 0 t->md->disk->private_data->queue->dev->power.request_pending 0-1
PARAM_VALUE 0 t->md->disk->private_data->queue->dev->power.runtime_error s32min-s32max
PARAM_VALUE 0 t->md->disk->private_data->queue->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 t->md->disk->private_data->queue->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 t->md->disk->private_data->queue->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 t->md->disk->private_data->queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 t->md->disk->private_data->srcu.dep_map->name 0-255
PARAM_VALUE 0 t->md->disk->private_data->vdev_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 t->md->disk->private_data->vdev_mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 t->md->disk->private_data->vdev_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 t->md->disk->private_data->vdev_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 t->md->disk->private_data->vdev_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 t->md->disk->private_data->vdev_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 t->md->disk->queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 t->md->disk->queue->io_lockdep_map->name 0-255
PARAM_VALUE 0 t->md->disk->queue->limits_lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 t->md->disk->queue->limits_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 t->md->disk->queue->limits_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 t->md->disk->queue->limits_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 t->md->disk->queue->limits_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 t->md->disk->queue->mq_freeze_lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 t->md->disk->queue->mq_freeze_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 t->md->disk->queue->mq_freeze_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 t->md->disk->queue->mq_freeze_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 t->md->disk->queue->mq_freeze_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 t->md->disk->queue->mq_freeze_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 t->md->disk->queue->q_lockdep_map->name 0-255
PARAM_VALUE 0 t->md->disk->zone_wplugs_hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 t->md->disk->zone_wplugs_pool->elements 4096-ptr_max
PARAM_VALUE 0 t->md->disk->zone_wplugs_pool->min_nr 1-3999999
PARAM_VALUE 0 t->md->disk->zone_wplugs_pool->pool_data 248
PARAM_VALUE 0 t->md->disk->zone_wplugs_pool->wait.head.next 4096-ptr_max
PARAM_VALUE 0 t->md->disk->zone_wplugs_pool->wait.head.prev 4096-ptr_max
PARAM_VALUE 0 t->md->disk->zone_wplugs_wq->flags 0-4294967295
PARAM_VALUE 0 t->md->disk->zone_wplugs_wq->flush_color s32min-s32max
PARAM_VALUE 0 t->md->disk->zone_wplugs_wq->nr_drainers s32min-s32max
PARAM_VALUE 0 t->md->disk->zone_wplugs_wq->nr_pwqs_to_flush.counter s32min-s32max
PARAM_VALUE 0 t->md->disk->zone_wplugs_wq->work_color s32min-s32max
PARAM_VALUE 0 t->md->disk->zones_cond 0,16,4096-ptr_max
PARAM_VALUE 0 t->md->revalidate_map_task 0
PARAM_VALUE 0 t->md->zone_revalidate_map 0
PARAM_VALUE 0 t->mempools 0
PARAM_VALUE 0 *t->md->disk->private_data->device->request_queue->q_lockdep_map.name 0-255
PARAM_VALUE 0 *t->md->disk->private_data->queue->q_lockdep_map.name 0-255
PARAM_VALUE 0 *t->md->disk->queue->mq_freeze_lock.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *t->md->disk->zone_wplugs_worker->delays->lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *t->md->disk->zone_wplugs_wq->first_flusher->done.wait.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *t->md->disk->zone_wplugs_wq->lockdep_map->name 0-255
NOCHECK_CALL

drivers/md/dm-ioctl.c do_resume() -> dm_table_destroy()

Type Parameter Key Value
PARAM_VALUE 0 t 1-ptr_max
DATA_SOURCE 0 t r dm_swap_table
NOCHECK_CALL

drivers/md/dm-ioctl.c table_clear() -> dm_table_destroy()

Type Parameter Key Value
PARAM_VALUE 0 t 1-u64max
NOCHECK_CALL

drivers/md/dm-ioctl.c table_load() -> dm_table_destroy()

Type Parameter Key Value
PARAM_VALUE 0 t 1-u64max
NOCHECK_CALL

drivers/md/dm-ioctl.c table_load() -> dm_table_destroy()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->flush_bypasses_map 0-1
PARAM_VALUE 0 t->md s64min-(-1),1-s64max
PARAM_VALUE 0 t->mode 1,3
PARAM_VALUE 0 t->num_allocated 8-1048576
PARAM_VALUE 0 t->type 0-4294967295
PARAM_VALUE 0 *t->counts 0-4294967295
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

drivers/md/dm.c __dm_destroy() -> dm_table_destroy()

Type Parameter Key Value
PARAM_VALUE 0 t 0,4096-ptr_max
PARAM_VALUE 0 t->event_fn 0
NOCHECK_CALL