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 dm_early_create() -> dm_setup_md_queue()

Type Parameter Key Value
PARAM_VALUE 0 md 4096-ptr_max
PARAM_VALUE 0 md->event_nr.counter 0
PARAM_VALUE 0 md->ima.measure_idx 0
PARAM_VALUE 0 md->ima.update_idx 0
PARAM_VALUE 0 md->init_tio_pdu 0
PARAM_VALUE 0 md->interface_ptr 4096-ptr_max
PARAM_VALUE 0 md->kobj_holder.completion.done 0
PARAM_VALUE 0 md->open_count.counter 0
PARAM_VALUE 0 md->queue 0,4096-ptr_max
PARAM_VALUE 0 md->requeue_list 0
PARAM_VALUE 0 md->stats.precise_timestamps 0
PARAM_VALUE 0 md->suspend_lock.first_waiter 0
PARAM_VALUE 0 md->suspend_lock.osq.tail.counter 0
PARAM_VALUE 0 md->suspend_lock.owner.counter 0
PARAM_VALUE 0 md->swap_bios 1-s32max
PARAM_VALUE 0 md->swap_bios_lock.first_waiter 0
PARAM_VALUE 0 md->swap_bios_lock.osq.tail.counter 0
PARAM_VALUE 0 md->swap_bios_lock.owner.counter 0
PARAM_VALUE 0 md->table_devices_lock.first_waiter 0
PARAM_VALUE 0 md->table_devices_lock.osq.tail.counter 0
PARAM_VALUE 0 md->table_devices_lock.owner.counter 0
PARAM_VALUE 0 md->type 0
PARAM_VALUE 0 md->type_lock.first_waiter 0
PARAM_VALUE 0 md->type_lock.osq.tail.counter 0
PARAM_VALUE 0 md->type_lock.owner.counter 0
PARAM_VALUE 0 md->uevent_seq.counter 0
PARAM_VALUE 1 t 4096-ptr_max
PARAM_VALUE 1 t->crypto_profile 0,4096-ptr_max
PARAM_VALUE 1 t->crypto_profile->dev 0
PARAM_VALUE 1 t->crypto_profile->idle_slots.next 0
PARAM_VALUE 1 t->crypto_profile->idle_slots.prev 0
PARAM_VALUE 1 t->crypto_profile->ll_ops.derive_sw_secret 0,4518343378786611200
PARAM_VALUE 1 t->crypto_profile->ll_ops.generate_key 0,6553568622039306240
PARAM_VALUE 1 t->crypto_profile->ll_ops.import_key 0,8616418946465071104
PARAM_VALUE 1 t->crypto_profile->ll_ops.keyslot_evict 1074302555089489920
PARAM_VALUE 1 t->crypto_profile->ll_ops.prepare_key 0,7169524365162639360
PARAM_VALUE 1 t->crypto_profile->lock.count.counter 0
PARAM_VALUE 1 t->crypto_profile->lock.first_waiter 0
PARAM_VALUE 1 t->crypto_profile->lock.magic 4096-ptr_max
PARAM_VALUE 1 t->crypto_profile->lock.owner.counter 0
PARAM_VALUE 1 t->crypto_profile->log_slot_ht_size 0
PARAM_VALUE 1 t->crypto_profile->num_slots 0
PARAM_VALUE 1 t->crypto_profile->slot_hashtable 0
PARAM_VALUE 1 t->crypto_profile->slots 0
PARAM_VALUE 1 t->depth 1-2147483648
PARAM_VALUE 1 t->flush_bypasses_map 0
PARAM_VALUE 1 t->md s64min-(-4096),4096-s64max
PARAM_VALUE 1 t->md->io_barrier.dep_map->name 0-255
PARAM_VALUE 1 t->md->queue 0,4096-ptr_max
PARAM_VALUE 1 t->mempools 4096-ptr_max
PARAM_VALUE 1 t->mempools->bs.back_pad 0,64
PARAM_VALUE 1 t->mempools->bs.bio_pool.alloc 7276475779886346240
PARAM_VALUE 1 t->mempools->bs.bio_pool.curr_nr 1-s32max
PARAM_VALUE 1 t->mempools->bs.bio_pool.elements 1-u64max
PARAM_VALUE 1 t->mempools->bs.bio_pool.free 8263660038527102976
PARAM_VALUE 1 t->mempools->bs.bio_pool.min_nr s32min-(-1),1-s32max
PARAM_VALUE 1 t->mempools->bs.bio_pool.pool_data 1-u64max
PARAM_VALUE 1 t->mempools->bs.bio_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 1 t->mempools->bs.bio_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 1 t->mempools->bs.bio_slab 1-u64max
PARAM_VALUE 1 t->mempools->bs.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 1 t->mempools->bs.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 1 t->mempools->bs.bvec_pool.elements 1-u64max
PARAM_VALUE 1 t->mempools->bs.bvec_pool.free 8263660038527102976
PARAM_VALUE 1 t->mempools->bs.bvec_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 1 t->mempools->bs.bvec_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 1 t->mempools->bs.cache 0,4096-ptr_max
PARAM_VALUE 1 t->mempools->bs.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 1 t->mempools->bs.rescue_list.head 0
PARAM_VALUE 1 t->mempools->bs.rescue_list.tail 0
PARAM_VALUE 1 t->mempools->bs.rescue_workqueue 0,4096-ptr_max
PARAM_VALUE 1 t->mempools->io_bs.back_pad 0,64
PARAM_VALUE 1 t->mempools->io_bs.bio_pool.alloc 7276475779886346240
PARAM_VALUE 1 t->mempools->io_bs.bio_pool.curr_nr 1-s32max
PARAM_VALUE 1 t->mempools->io_bs.bio_pool.elements 1-u64max
PARAM_VALUE 1 t->mempools->io_bs.bio_pool.free 8263660038527102976
PARAM_VALUE 1 t->mempools->io_bs.bio_pool.min_nr s32min-(-1),1-s32max
PARAM_VALUE 1 t->mempools->io_bs.bio_pool.pool_data 1-u64max
PARAM_VALUE 1 t->mempools->io_bs.bio_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 1 t->mempools->io_bs.bio_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 1 t->mempools->io_bs.bio_slab 1-u64max
PARAM_VALUE 1 t->mempools->io_bs.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 1 t->mempools->io_bs.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 1 t->mempools->io_bs.bvec_pool.elements 1-u64max
PARAM_VALUE 1 t->mempools->io_bs.bvec_pool.free 8263660038527102976
PARAM_VALUE 1 t->mempools->io_bs.bvec_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 1 t->mempools->io_bs.bvec_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 1 t->mempools->io_bs.cache 0,4096-ptr_max
PARAM_VALUE 1 t->mempools->io_bs.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 1 t->mempools->io_bs.rescue_list.head 0
PARAM_VALUE 1 t->mempools->io_bs.rescue_list.tail 0
PARAM_VALUE 1 t->mempools->io_bs.rescue_workqueue 0,4096-ptr_max
PARAM_VALUE 1 t->mode 1,3
PARAM_VALUE 1 t->num_allocated 8-1048576
PARAM_VALUE 1 t->num_targets 1-1048576
PARAM_VALUE 1 t->type 1-u32max
PARAM_VALUE 1 *t->counts 0-477218589
CAPPED_DATA 1 t->num_targets 1
NO_OVERFLOW_SIMPLE 1 t->mempools->bs.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 1 t->mempools->bs.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 1 t->mempools->io_bs.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 1 t->mempools->io_bs.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 1 t->num_allocated

drivers/md/dm-ioctl.c table_load() -> dm_setup_md_queue()

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