Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 2 only_deferred 0
LOCK2 global &_hash_lock

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

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
NO_OVERFLOW_SIMPLE 0 md->dax_dev->inode.i_mapping->host->i_bytes
LOCK2 global &_hash_lock