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 table_load() -> dm_ima_measure_on_table_load()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->crypto_profile 0,4096-ptr_max
PARAM_VALUE 0 table->crypto_profile->dev 0
PARAM_VALUE 0 table->crypto_profile->idle_slots.next 0
PARAM_VALUE 0 table->crypto_profile->idle_slots.prev 0
PARAM_VALUE 0 table->crypto_profile->ll_ops.derive_sw_secret 0,4518343378786611200
PARAM_VALUE 0 table->crypto_profile->ll_ops.generate_key 0,6553568622039306240
PARAM_VALUE 0 table->crypto_profile->ll_ops.import_key 0,8616418946465071104
PARAM_VALUE 0 table->crypto_profile->ll_ops.keyslot_evict 1074302555089489920
PARAM_VALUE 0 table->crypto_profile->ll_ops.prepare_key 0,7169524365162639360
PARAM_VALUE 0 table->crypto_profile->lock.count.counter 0
PARAM_VALUE 0 table->crypto_profile->lock.first_waiter 0
PARAM_VALUE 0 table->crypto_profile->lock.magic 4096-ptr_max
PARAM_VALUE 0 table->crypto_profile->lock.owner.counter 0
PARAM_VALUE 0 table->crypto_profile->log_slot_ht_size 0
PARAM_VALUE 0 table->crypto_profile->num_slots 0
PARAM_VALUE 0 table->crypto_profile->slot_hashtable 0
PARAM_VALUE 0 table->crypto_profile->slots 0
PARAM_VALUE 0 table->depth 1-2147483648
PARAM_VALUE 0 table->flush_bypasses_map 0
PARAM_VALUE 0 table->md s64min-(-1),1-s64max
PARAM_VALUE 0 table->md->io_barrier.dep_map->name 0-255
PARAM_VALUE 0 table->md->queue 0,4096-ptr_max
PARAM_VALUE 0 table->mempools 4096-ptr_max
PARAM_VALUE 0 table->mempools->bs.back_pad 0,64
PARAM_VALUE 0 table->mempools->bs.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 table->mempools->bs.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 table->mempools->bs.bio_pool.free 8263660038527102976
PARAM_VALUE 0 table->mempools->bs.bio_pool.min_nr s32min-(-1),1-s32max
PARAM_VALUE 0 table->mempools->bs.bio_pool.pool_data 1-u64max
PARAM_VALUE 0 table->mempools->bs.bio_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 table->mempools->bs.bio_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 table->mempools->bs.bio_slab 1-u64max
PARAM_VALUE 0 table->mempools->bs.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 table->mempools->bs.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 table->mempools->bs.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 table->mempools->bs.bvec_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 table->mempools->bs.bvec_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 table->mempools->bs.cache 0,4096-ptr_max
PARAM_VALUE 0 table->mempools->bs.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 table->mempools->bs.rescue_list.head 0
PARAM_VALUE 0 table->mempools->bs.rescue_list.tail 0
PARAM_VALUE 0 table->mempools->bs.rescue_workqueue 0,4096-ptr_max
PARAM_VALUE 0 table->mempools->io_bs.back_pad 0,64
PARAM_VALUE 0 table->mempools->io_bs.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 table->mempools->io_bs.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 table->mempools->io_bs.bio_pool.free 8263660038527102976
PARAM_VALUE 0 table->mempools->io_bs.bio_pool.min_nr s32min-(-1),1-s32max
PARAM_VALUE 0 table->mempools->io_bs.bio_pool.pool_data 1-u64max
PARAM_VALUE 0 table->mempools->io_bs.bio_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 table->mempools->io_bs.bio_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 table->mempools->io_bs.bio_slab 1-u64max
PARAM_VALUE 0 table->mempools->io_bs.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 table->mempools->io_bs.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 table->mempools->io_bs.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 table->mempools->io_bs.bvec_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 table->mempools->io_bs.bvec_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 table->mempools->io_bs.cache 0,4096-ptr_max
PARAM_VALUE 0 table->mempools->io_bs.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 table->mempools->io_bs.rescue_list.head 0
PARAM_VALUE 0 table->mempools->io_bs.rescue_list.tail 0
PARAM_VALUE 0 table->mempools->io_bs.rescue_workqueue 0,4096-ptr_max
PARAM_VALUE 0 table->mode 1,3
PARAM_VALUE 0 table->num_allocated 8-1048576
PARAM_VALUE 0 table->num_targets 1-1048576
PARAM_VALUE 0 table->type 1-u32max
PARAM_VALUE 0 *table->counts 0-536870912
PARAM_VALUE 1 context 0,4096-ptr_max
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 table->mempools->bs.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 table->mempools->bs.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 table->mempools->io_bs.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 table->mempools->io_bs.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 table->num_allocated
LOCK2 &md->io_barrier
TYPE_LOCK (struct mapped_device)->io_barrier