Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 md 4096-ptr_max
PARAM_VALUE 0 md->open_count.counter 0
PARAM_VALUE 1 remove_all 0
PARAM_VALUE 2 context 0,4096-ptr_max
DATA_SOURCE 3 idx r dm_ima_init_context
NOCHECK_CALL

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

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 1 remove_all 1
PARAM_VALUE 2 context 0,4096-ptr_max
DATA_SOURCE 3 idx r dm_ima_init_context
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 md->dax_dev->inode.i_mapping->host->i_bytes