Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-ima.c dm_ima_measure_on_device_rename() -> dm_ima_copy_device_data()

Type Parameter Key Value
PARAM_VALUE 0 md 4096-ptr_max
PARAM_VALUE 0 md->disk 4096-ptr_max
PARAM_VALUE 0 md->ima.active_table.device_metadata 1-u64max
PARAM_VALUE 0 md->ima.ima_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 md->ima.ima_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 md->ima.ima_wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 md->io_barrier.srcu_ctrp 4096-ptr_max
PARAM_VALUE 1 device_data 1-u64max
PARAM_VALUE 2 context 4096-ptr_max
PARAM_VALUE 2 context->dev_name 4096-ptr_max
PARAM_VALUE 2 context->dev_uuid 4096-ptr_max
PARAM_VALUE 2 *context->dev_name 0-255
PARAM_VALUE 2 *context->dev_uuid 0-255
BUF_SIZE 1 device_data 1024
CAPPED_DATA 0 md->ima.measure_idx 1
CAPPED_DATA 2 context->update_idx 1
DATA_SOURCE 0 md $0
DATA_SOURCE 2 context $1
PARAM_COMPARE 2 context->update_idx == $0->ima.measure_idx
NOCHECK_CALL

drivers/md/dm-ima.c dm_ima_measure_on_device_rename() -> dm_ima_copy_device_data()

Type Parameter Key Value
PARAM_VALUE 0 md 4096-ptr_max
PARAM_VALUE 0 md->disk 4096-ptr_max
PARAM_VALUE 0 md->ima.ima_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 md->ima.ima_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 md->ima.ima_wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 md->ima.inactive_table.device_metadata 1-u64max
PARAM_VALUE 0 md->io_barrier.srcu_ctrp 4096-ptr_max
PARAM_VALUE 1 device_data 1-u64max
PARAM_VALUE 2 context 4096-ptr_max
PARAM_VALUE 2 context->dev_name 4096-ptr_max
PARAM_VALUE 2 context->dev_uuid 4096-ptr_max
PARAM_VALUE 2 *context->dev_name 0-255
PARAM_VALUE 2 *context->dev_uuid 0-255
BUF_SIZE 1 device_data 1024
CAPPED_DATA 0 md->ima.measure_idx 1
CAPPED_DATA 2 context->update_idx 1
DATA_SOURCE 0 md $0
DATA_SOURCE 2 context $1
PARAM_COMPARE 2 context->update_idx == $0->ima.measure_idx
NOCHECK_CALL

drivers/md/dm-ima.c dm_ima_measure_on_device_resume() -> dm_ima_copy_device_data()

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->ima.active_table.device_metadata 1-u64max
PARAM_VALUE 0 md->ima.ima_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 md->ima.inactive_table.capacity 0
PARAM_VALUE 0 md->ima.inactive_table.device_metadata 0
PARAM_VALUE 0 md->ima.inactive_table.hash 0
PARAM_VALUE 0 md->ima.inactive_table.hash_len 0
PARAM_VALUE 0 md->ima.inactive_table.num_targets 0
PARAM_VALUE 0 md->interface_ptr 1-u64max
PARAM_VALUE 0 md->interface_ptr->md->ima.update_idx 0-4294967295
PARAM_VALUE 0 md->io_barrier.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.magic 0
PARAM_VALUE 0 md->io_barrier.srcu_sup->lock.owner 0,(-1)
PARAM_VALUE 0 md->io_barrier.srcu_sup->lock.owner_cpu 0,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_gp_start 0
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.cpu 0
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->prev 2076614606316732416
PARAM_VALUE 0 md->io_barrier.srcu_sup->work.work.func 0
PARAM_VALUE 0 md->io_barrier.srcu_sup->work.wq 0
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.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.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->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
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.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->list.prev->prev 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
PARAM_VALUE 1 device_data 1-u64max
PARAM_VALUE 2 context 4096-ptr_max
PARAM_VALUE 2 context->dev_name 4096-ptr_max
PARAM_VALUE 2 context->dev_uuid 4096-ptr_max
PARAM_VALUE 2 context->table.device_metadata 0
PARAM_VALUE 2 context->table.hash 0
PARAM_VALUE 2 *context->dev_name 0-255
PARAM_VALUE 2 *context->dev_uuid 0-255
BUF_SIZE 1 device_data 1024
CAPPED_DATA 0 md->ima.measure_idx 1
CAPPED_DATA 0 md->io_barrier.srcu_ctrp 1
CAPPED_DATA 2 context->update_idx 1
DATA_SOURCE 0 md $0
DATA_SOURCE 2 context $2
PARAM_COMPARE 2 context->update_idx == $0->ima.measure_idx
MEM_ZERO 0 &md->ima.inactive_table
MEM_ZERO 2 &context->table
NOCHECK_CALL

drivers/md/dm-ima.c dm_ima_measure_on_table_load() -> dm_ima_copy_device_data()

Type Parameter Key Value
PARAM_VALUE 0 md 4096-ptr_max
PARAM_VALUE 0 md->ima.ima_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 md->ima.ima_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 md->ima.ima_wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 md->io_barrier.dep_map->name 0-255
PARAM_VALUE 0 md->queue 0,4096-ptr_max
PARAM_VALUE 1 device_data 4096-ptr_max
PARAM_VALUE 2 context 4096-ptr_max
PARAM_VALUE 2 context->dev_name 4096-ptr_max
PARAM_VALUE 2 context->dev_uuid 4096-ptr_max
PARAM_VALUE 2 *context->dev_name 0-255
PARAM_VALUE 2 *context->dev_uuid 0-255
PARAM_VALUE 3 num_targets 0-1048576
BUF_SIZE 1 device_data 1024
BUF_SIZE 1 device_data 1024
CAPPED_DATA 0 md->ima.measure_idx 1
CAPPED_DATA 2 context->update_idx 1
DATA_SOURCE 1 device_data r dm_ima_alloc
DATA_SOURCE 2 context $1
PARAM_COMPARE 2 context->update_idx == $0->ima.measure_idx
NOCHECK_CALL
LOCK2 &md->io_barrier
TYPE_LOCK (struct mapped_device)->io_barrier