Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 7 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_create_vm() -> kvm_arch_init_vm()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 0 kvm->__memslots 4096-ptr_max
PARAM_VALUE 0 kvm->buses 4096-ptr_max
PARAM_VALUE 0 kvm->debugfs_dentry (-2)
PARAM_VALUE 0 kvm->devices.next 4096-ptr_max
PARAM_VALUE 0 kvm->devices.next->next 4096-ptr_max
PARAM_VALUE 0 kvm->devices.prev 4096-ptr_max
PARAM_VALUE 0 kvm->devices.prev->next 4096-ptr_max
PARAM_VALUE 0 kvm->devices.prev->prev 4096-ptr_max
PARAM_VALUE 0 kvm->gpc_list.next 4096-ptr_max
PARAM_VALUE 0 kvm->gpc_list.next->next 4096-ptr_max
PARAM_VALUE 0 kvm->gpc_list.prev 4096-ptr_max
PARAM_VALUE 0 kvm->gpc_list.prev->next 4096-ptr_max
PARAM_VALUE 0 kvm->gpc_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 kvm->ioeventfds.next 4096-ptr_max
PARAM_VALUE 0 kvm->ioeventfds.next->next 4096-ptr_max
PARAM_VALUE 0 kvm->ioeventfds.prev 4096-ptr_max
PARAM_VALUE 0 kvm->ioeventfds.prev->next 4096-ptr_max
PARAM_VALUE 0 kvm->ioeventfds.prev->prev 4096-ptr_max
PARAM_VALUE 0 kvm->irq_lock.dep_map->name 0-255
PARAM_VALUE 0 kvm->irq_lock.first_waiter 0
PARAM_VALUE 0 kvm->irq_lock.magic 4096-ptr_max
PARAM_VALUE 0 kvm->irq_lock.osq.tail.counter 0
PARAM_VALUE 0 kvm->irq_lock.owner.counter 0
PARAM_VALUE 0 kvm->irq_routing 4096-ptr_max
PARAM_VALUE 0 kvm->irq_routing->nr_rt_entries 1
PARAM_VALUE 0 kvm->irq_srcu.dep_map->name 0-255
PARAM_VALUE 0 kvm->irq_srcu.sda 4096-ptr_max
PARAM_VALUE 0 kvm->irq_srcu.srcu_ctrp 4096-ptr_max
PARAM_VALUE 0 kvm->irq_srcu.srcu_reader_flavor 0
PARAM_VALUE 0 kvm->irq_srcu.srcu_sup 4096-ptr_max
PARAM_VALUE 0 kvm->irq_srcu.srcu_sup->node 0,4096-ptr_max
PARAM_VALUE 0 kvm->irq_srcu.srcu_sup->srcu_barrier_mutex.dep_map->name 0-255
PARAM_VALUE 0 kvm->irq_srcu.srcu_sup->srcu_barrier_mutex.magic 4096-ptr_max
PARAM_VALUE 0 kvm->irq_srcu.srcu_sup->srcu_cb_mutex.dep_map->name 0-255
PARAM_VALUE 0 kvm->irq_srcu.srcu_sup->srcu_cb_mutex.magic 4096-ptr_max
PARAM_VALUE 0 kvm->irq_srcu.srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 0 kvm->irq_srcu.srcu_sup->srcu_gp_mutex.magic 4096-ptr_max
PARAM_VALUE 0 kvm->irq_srcu.srcu_sup->srcu_gp_seq 18446744073709551216
PARAM_VALUE 0 kvm->irq_srcu.srcu_sup->srcu_gp_seq_needed 18446744073709551216
PARAM_VALUE 0 kvm->irq_srcu.srcu_sup->srcu_gp_seq_needed_exp 18446744073709551216
PARAM_VALUE 0 kvm->irq_srcu.srcu_sup->srcu_size_state 0-1,8
PARAM_VALUE 0 kvm->irq_srcu.srcu_sup->srcu_ssp 4096-ptr_max
PARAM_VALUE 0 kvm->irq_srcu.srcu_sup->srcu_ssp->sda 1-u64max
PARAM_VALUE 0 kvm->irq_srcu.srcu_sup->srcu_ssp->srcu_sup 4096-ptr_max
PARAM_VALUE 0 kvm->irqfds.items.next 4096-ptr_max
PARAM_VALUE 0 kvm->irqfds.items.next->next 4096-ptr_max
PARAM_VALUE 0 kvm->irqfds.items.prev 4096-ptr_max
PARAM_VALUE 0 kvm->irqfds.items.prev->next 4096-ptr_max
PARAM_VALUE 0 kvm->irqfds.items.prev->prev 4096-ptr_max
PARAM_VALUE 0 kvm->irqfds.resampler_list.next 4096-ptr_max
PARAM_VALUE 0 kvm->irqfds.resampler_list.next->next 4096-ptr_max
PARAM_VALUE 0 kvm->irqfds.resampler_list.prev 4096-ptr_max
PARAM_VALUE 0 kvm->irqfds.resampler_list.prev->next 4096-ptr_max
PARAM_VALUE 0 kvm->irqfds.resampler_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 kvm->irqfds.resampler_lock.dep_map->name 0-255
PARAM_VALUE 0 kvm->irqfds.resampler_lock.first_waiter 0
PARAM_VALUE 0 kvm->irqfds.resampler_lock.magic 4096-ptr_max
PARAM_VALUE 0 kvm->lock.dep_map->name 0-255
PARAM_VALUE 0 kvm->lock.first_waiter 0
PARAM_VALUE 0 kvm->lock.magic 4096-ptr_max
PARAM_VALUE 0 kvm->lock.osq.tail.counter 0
PARAM_VALUE 0 kvm->lock.owner.counter 0
PARAM_VALUE 0 kvm->max_vcpus 4096
PARAM_VALUE 0 kvm->mem_attr_array.xa_flags 0
PARAM_VALUE 0 kvm->mem_attr_array.xa_head 0
PARAM_VALUE 0 kvm->memslots 4096-ptr_max
PARAM_VALUE 0 kvm->mmu_lock.magic 3736018669
PARAM_VALUE 0 kvm->mmu_lock.owner (-1)
PARAM_VALUE 0 kvm->mmu_lock.owner_cpu u32max
PARAM_VALUE 0 kvm->mn_memslots_update_rcuwait.task 0
PARAM_VALUE 0 kvm->slots_arch_lock.dep_map->name 0-255
PARAM_VALUE 0 kvm->slots_arch_lock.first_waiter 0
PARAM_VALUE 0 kvm->slots_arch_lock.magic 4096-ptr_max
PARAM_VALUE 0 kvm->slots_arch_lock.osq.tail.counter 0
PARAM_VALUE 0 kvm->slots_arch_lock.owner.counter 0
PARAM_VALUE 0 kvm->slots_lock.dep_map->name 0-255
PARAM_VALUE 0 kvm->slots_lock.first_waiter 0
PARAM_VALUE 0 kvm->slots_lock.magic 4096-ptr_max
PARAM_VALUE 0 kvm->slots_lock.osq.tail.counter 0
PARAM_VALUE 0 kvm->slots_lock.owner.counter 0
PARAM_VALUE 0 kvm->srcu.dep_map->name 0-255
PARAM_VALUE 0 kvm->srcu.sda 4096-ptr_max
PARAM_VALUE 0 kvm->srcu.srcu_ctrp 4096-ptr_max
PARAM_VALUE 0 kvm->srcu.srcu_reader_flavor 0
PARAM_VALUE 0 kvm->srcu.srcu_sup 4096-ptr_max
PARAM_VALUE 0 kvm->srcu.srcu_sup->node 0,4096-ptr_max
PARAM_VALUE 0 kvm->srcu.srcu_sup->srcu_barrier_mutex.dep_map->name 0-255
PARAM_VALUE 0 kvm->srcu.srcu_sup->srcu_barrier_mutex.magic 4096-ptr_max
PARAM_VALUE 0 kvm->srcu.srcu_sup->srcu_barrier_seq 0
PARAM_VALUE 0 kvm->srcu.srcu_sup->srcu_cb_mutex.dep_map->name 0-255
PARAM_VALUE 0 kvm->srcu.srcu_sup->srcu_cb_mutex.magic 4096-ptr_max
PARAM_VALUE 0 kvm->srcu.srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 0 kvm->srcu.srcu_sup->srcu_gp_mutex.magic 4096-ptr_max
PARAM_VALUE 0 kvm->srcu.srcu_sup->srcu_gp_seq 18446744073709551216
PARAM_VALUE 0 kvm->srcu.srcu_sup->srcu_gp_seq_needed 18446744073709551216
PARAM_VALUE 0 kvm->srcu.srcu_sup->srcu_gp_seq_needed_exp 18446744073709551216
PARAM_VALUE 0 kvm->srcu.srcu_sup->srcu_size_state 0-1,8
PARAM_VALUE 0 kvm->srcu.srcu_sup->srcu_ssp 4096-ptr_max
PARAM_VALUE 0 kvm->srcu.srcu_sup->srcu_ssp->sda 1-u64max
PARAM_VALUE 0 kvm->srcu.srcu_sup->srcu_ssp->srcu_sup 4096-ptr_max
PARAM_VALUE 0 kvm->users_count.refs.counter 1
PARAM_VALUE 0 kvm->vcpu_array.xa_flags 0
PARAM_VALUE 0 kvm->vcpu_array.xa_head 0
DATA_SOURCE 0 kvm r kvm_arch_alloc_vm
DATA_SOURCE 1 type $0
STR_LEN 0 kvm 12
STR_LEN 0 kvm->stats_id 47
STR_LEN 1 type 12
USER_DATA 1 type 0-u64max