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_sync_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 4096-ptr_max |
| PARAM_VALUE | 0 | md->open_count.counter | 0 |
| NOCHECK_CALL |
drivers/md/dm-ioctl.c dm_hash_remove_all() -> dm_sync_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 4096-ptr_max |
| PARAM_VALUE | 0 | md->disk->part0->bd_device.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | md->disk->part0->bd_device.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | md->disk->part0->bd_device.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | md->disk->queue->mq_kobj->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | md->disk->queue->tag_set->update_nr_hwq_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | md->disk->queue->tag_set->update_nr_hwq_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | md->disk->queue_kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | md->io_barrier.srcu_ctrp | 4096-ptr_max |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | md->dax_dev->inode.i_mapping->host->i_bytes |
drivers/md/dm-ioctl.c do_resume() -> dm_sync_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 4096-ptr_max |
| PARAM_VALUE | 0 | md->suspend_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | md->suspend_lock.osq.tail.counter | 0-s32max |
| NOCHECK_CALL |
drivers/md/dm-ioctl.c do_resume() -> dm_sync_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 4096-ptr_max |
| PARAM_VALUE | 0 | md->disk | 4096-ptr_max |
| PARAM_VALUE | 0 | md->disk->part0 | 4096-ptr_max |
| PARAM_VALUE | 0 | md->disk->part0->bd_nr_sectors | 0-18014398509481983 |
| PARAM_VALUE | 0 | md->disk->part0->bd_size_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup | 4096-ptr_max |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->lock.owner | (-1) |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->sda_is_static | 1 |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->srcu_barrier_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->srcu_barrier_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->srcu_cb_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->srcu_cb_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->srcu_gp_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->srcu_gp_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->srcu_gp_seq | 18446744073709551216 |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->srcu_gp_seq_needed | 0,4-u64max |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->srcu_gp_seq_needed_exp | 18446744073709551216 |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->srcu_size_state | 0-1,8 |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->srcu_ssp | 4096-ptr_max |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->srcu_ssp->sda | 1-u64max |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->srcu_ssp->srcu_sup | 4096-ptr_max |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->work.work.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->work.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->work.work.entry.prev | 2076614606316732416 |
| PARAM_VALUE | 0 | md->io_barrier.srcu_sup->work.work.entry.prev->prev | 2076614606316732416 |
| PARAM_VALUE | 0 | md->map | 4096-ptr_max |
| PARAM_VALUE | 0 | md->mempools->bs->rescue_workqueue->first_flusher->done.wait.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | md->mempools->bs->rescue_workqueue->lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->mempools->bs->rescue_workqueue->rescuer->task->delays->lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | md->mempools->bs->rescue_workqueue->rescuer->task->pi_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | md->mempools->bs.cpuhp_dead->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | md->mempools->io_bs->rescue_workqueue->first_flusher->done.wait.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | md->mempools->io_bs->rescue_workqueue->lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->mempools->io_bs->rescue_workqueue->rescuer->task->delays->lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | md->mempools->io_bs->rescue_workqueue->rescuer->task->pi_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | md->mempools->io_bs.cpuhp_dead->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | md->queue->disk->bdi->io_pages | 0-536870911 |
| PARAM_VALUE | 0 | md->queue->disk->bdi->ra_pages | 32-u64max |
| PARAM_VALUE | 0 | md->queue->limits.atomic_write_boundary_sectors | 0-8388607 |
| PARAM_VALUE | 0 | md->queue->limits.atomic_write_max_sectors | 0-8388607 |
| PARAM_VALUE | 0 | md->queue->limits.atomic_write_unit_max | 0-1171456 |
| PARAM_VALUE | 0 | md->queue->limits.atomic_write_unit_min | 0-1171456 |
| PARAM_VALUE | 0 | md->queue->limits.discard_granularity | 0,512-u32max |
| PARAM_VALUE | 0 | md->queue->limits.dma_alignment | 1-u32max |
| PARAM_VALUE | 0 | md->queue->limits.io_min | 512-u32max |
| PARAM_VALUE | 0 | md->queue->limits.logical_block_size | 512-65536 |
| PARAM_VALUE | 0 | md->queue->limits.max_discard_segments | 1-u16max |
| PARAM_VALUE | 0 | md->queue->limits.max_fast_segment_size | 0-4096 |
| PARAM_VALUE | 0 | md->queue->limits.max_segment_size | 1-u32max |
| PARAM_VALUE | 0 | md->queue->limits.max_segments | 1-u16max |
| PARAM_VALUE | 0 | md->queue->limits.max_user_sectors | 0,8-u32max |
| PARAM_VALUE | 0 | md->queue->limits.physical_block_size | 512-u32max |
| PARAM_VALUE | 0 | md->queue->limits.seg_boundary_mask | 1-u64max |
| PARAM_VALUE | 0 | md->queue->limits.zone_write_granularity | 512-u32max |
| PARAM_VALUE | 0 | md->queue->limits_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->queue->limits_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | md->queue->limits_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | md->queue->limits_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->queue->limits_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | md->queue->limits_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | md->queue->limits_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | md->queue->limits_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | md->suspend_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | md->suspend_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | *md->queue->crypto_profile->modes_supported | 0-4294967295 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | md->queue->limits.max_hw_discard_sectors |
drivers/md/dm-ioctl.c table_clear() -> dm_sync_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 4096-ptr_max |
| PARAM_VALUE | 0 | md->io_barrier.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->io_barrier.srcu_ctrp | 4096-ptr_max |
| CAPPED_DATA | 0 | md->io_barrier.srcu_ctrp | 1 |
| NOCHECK_CALL |
drivers/md/dm-ioctl.c table_load() -> dm_sync_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 4096-ptr_max |
| PARAM_VALUE | 0 | md->io_barrier.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->io_barrier.srcu_ctrp | 4096-ptr_max |
| PARAM_VALUE | 0 | md->queue | 0,4096-ptr_max |
| PARAM_VALUE | 0 | md->type_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->type_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | md->type_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->type_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | md->type_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | md->type_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | md->type_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| CAPPED_DATA | 0 | md->io_barrier.srcu_ctrp | 1 |
| DATA_SOURCE | 0 | md | r find_device |
| NOCHECK_CALL |
drivers/md/dm.c __bind() -> dm_sync_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 4096-ptr_max |
| PARAM_VALUE | 0 | md->disk | 4096-ptr_max |
| PARAM_VALUE | 0 | md->disk->part0 | 4096-ptr_max |
| PARAM_VALUE | 0 | md->disk->part0->bd_nr_sectors | 0-18014398509481983 |
| PARAM_VALUE | 0 | md->disk->part0->bd_size_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->map | 4096-ptr_max |
| PARAM_VALUE | 0 | md->mempools->bs->rescue_workqueue->lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->mempools->bs->rescue_workqueue->rescuer->task->delays->lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | md->mempools->bs.cpuhp_dead->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | md->mempools->io_bs->rescue_workqueue->lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->mempools->io_bs->rescue_workqueue->rescuer->task->delays->lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | md->mempools->io_bs.cpuhp_dead->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | md->queue | 4096-ptr_max |
| PARAM_VALUE | 0 | md->queue->mq_ops | 0-1,4096-ptr_max |
| PARAM_VALUE | 0 | md->suspend_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | md->suspend_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | md->suspend_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->suspend_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | md->suspend_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | md->wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | md->wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | *md->queue->crypto_profile->modes_supported | 0-4294967295 |
| DATA_SOURCE | 0 | md | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &md->suspend_lock | |
| TYPE_LOCK | (struct mapped_device)->suspend_lock |
drivers/md/dm.c __unbind() -> dm_sync_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 4096-ptr_max |
| PARAM_VALUE | 0 | md->disk | 4096-ptr_max |
| PARAM_VALUE | 0 | md->disk->ev->block | s32min-s32max |
| PARAM_VALUE | 0 | md->disk->part0->bd_device.iommu_group->owner_cnt | 0-4294967295 |
| PARAM_VALUE | 0 | md->disk->part0->bd_device.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | md->disk->part0->bd_device.kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | md->disk->part0->bd_device.kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | md->disk->part0->bd_device.kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | md->disk->part0->bd_device.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | md->disk->part0->bd_device.p->dead | 0-1 |
| PARAM_VALUE | 0 | md->disk->part0->bd_device.p->deferred_probe_reason | 0-s64max |
| PARAM_VALUE | 0 | md->disk->part0->bd_device.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | md->disk->part0->bd_nr_sectors | 0-18014398509481983 |
| PARAM_VALUE | 0 | md->disk->part0->bd_size_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->disk->queue->mq_freeze_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->disk->queue->mq_freeze_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | md->disk->queue->mq_freeze_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | md->disk->queue->mq_freeze_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->disk->queue->mq_freeze_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | md->disk->queue->mq_freeze_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | md->disk->queue->mq_freeze_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | md->disk->queue->mq_freeze_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | md->disk->queue->mq_freeze_owner | 1-u64max |
| PARAM_VALUE | 0 | md->disk->queue->mq_kobj->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | md->disk->queue->q_usage_counter.data->rcu.func | 1-u64max |
| PARAM_VALUE | 0 | md->disk->queue->stats->accounting | s32min-s32max |
| PARAM_VALUE | 0 | md->disk->queue->tag_set->update_nr_hwq_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | md->disk->queue->tag_set->update_nr_hwq_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | md->disk->queue_kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | md->io_barrier.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->io_barrier.srcu_ctrp | 4096-ptr_max |
| PARAM_VALUE | 0 | md->map | 0 |
| PARAM_VALUE | 0 | md->suspend_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | md->suspend_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | md->suspend_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->wq->flags | 0-4294967295 |
| PARAM_VALUE | 0 | md->wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | md->wq->nr_drainers | s32min-s32max |
| PARAM_VALUE | 0 | md->wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | md->wq->wq_dev | 0-s64max |
| PARAM_VALUE | 0 | *md->queue->crypto_profile->modes_supported | 0-4294967295 |
| CAPPED_DATA | 0 | md->io_barrier.srcu_ctrp | 1 |
| DATA_SOURCE | 0 | md | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | md->mempools->bs.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | md->mempools->bs.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | md->mempools->bs.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | md->mempools->io_bs.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | md->mempools->io_bs.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | md->mempools->io_bs.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime |