Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/x86.c kvm_arch_init_vm() -> kvm_hv_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->arch.active_mmu_pages.next 4096-ptr_max
PARAM_VALUE 0 kvm->arch.active_mmu_pages.next->next 4096-ptr_max
PARAM_VALUE 0 kvm->arch.active_mmu_pages.prev 4096-ptr_max
PARAM_VALUE 0 kvm->arch.active_mmu_pages.prev->next 4096-ptr_max
PARAM_VALUE 0 kvm->arch.active_mmu_pages.prev->prev 4096-ptr_max
PARAM_VALUE 0 kvm->arch.apic_bus_cycle_ns 1
PARAM_VALUE 0 kvm->arch.apic_map_lock.dep_map->name 0-255
PARAM_VALUE 0 kvm->arch.apic_map_lock.first_waiter 0
PARAM_VALUE 0 kvm->arch.apic_map_lock.magic 4096-ptr_max
PARAM_VALUE 0 kvm->arch.apic_map_lock.owner.counter 0
PARAM_VALUE 0 kvm->arch.apicv_update_lock.dep_map->name 0-255
PARAM_VALUE 0 kvm->arch.apicv_update_lock.magic 4096-ptr_max
PARAM_VALUE 0 kvm->arch.disabled_quirks 0,2,512,514
PARAM_VALUE 0 kvm->arch.guest_can_read_msr_platform_info 1
PARAM_VALUE 0 kvm->arch.hv_root_tdp u64max
PARAM_VALUE 0 kvm->arch.kvmclock_offset (-9223372036854775807)-s64max
PARAM_VALUE 0 kvm->arch.kvmclock_update_rs.begin 0
PARAM_VALUE 0 kvm->arch.kvmclock_update_rs.burst 10
PARAM_VALUE 0 kvm->arch.kvmclock_update_rs.flags 1
PARAM_VALUE 0 kvm->arch.kvmclock_update_rs.interval 250
PARAM_VALUE 0 kvm->arch.kvmclock_update_rs.lock.magic 3735899821
PARAM_VALUE 0 kvm->arch.kvmclock_update_rs.lock.owner (-1)
PARAM_VALUE 0 kvm->arch.kvmclock_update_rs.lock.owner_cpu u32max
PARAM_VALUE 0 kvm->arch.mmu_page_hash 4096-ptr_max
PARAM_VALUE 0 kvm->arch.noncoherent_dma_count.counter 0
PARAM_VALUE 0 kvm->arch.pvclock_sc.lock 4096-ptr_max
PARAM_VALUE 0 kvm->arch.pvclock_sc.lock->magic 3735899821
PARAM_VALUE 0 kvm->arch.pvclock_sc.lock->owner (-1)
PARAM_VALUE 0 kvm->arch.pvclock_sc.lock->owner_cpu u32max
PARAM_VALUE 0 kvm->arch.pvclock_sc.seqcount.dep_map->name 0-255
PARAM_VALUE 0 kvm->arch.pvclock_sc.seqcount.sequence 0
PARAM_VALUE 0 kvm->arch.split_desc_cache.gfp_zero 256
PARAM_VALUE 0 kvm->arch.split_desc_cache.kmem_cache 0,4096-ptr_max
PARAM_VALUE 0 kvm->arch.split_page_header_cache.gfp_zero 256
PARAM_VALUE 0 kvm->arch.split_shadow_page_cache.gfp_zero 256
PARAM_VALUE 0 kvm->arch.tdp_mmu_roots.next 4096-ptr_max
PARAM_VALUE 0 kvm->arch.tdp_mmu_roots.next->next 4096-ptr_max
PARAM_VALUE 0 kvm->arch.tdp_mmu_roots.prev 4096-ptr_max
PARAM_VALUE 0 kvm->arch.tdp_mmu_roots.prev->next 4096-ptr_max
PARAM_VALUE 0 kvm->arch.tdp_mmu_roots.prev->prev 4096-ptr_max
PARAM_VALUE 0 kvm->arch.track_notifier_head.track_srcu.dep_map->name 0-255
PARAM_VALUE 0 kvm->arch.track_notifier_head.track_srcu.sda 4096-ptr_max
PARAM_VALUE 0 kvm->arch.track_notifier_head.track_srcu.srcu_ctrp 4096-ptr_max
PARAM_VALUE 0 kvm->arch.track_notifier_head.track_srcu.srcu_sup 4096-ptr_max
PARAM_VALUE 0 kvm->arch.track_notifier_head.track_srcu.srcu_sup->srcu_barrier_mutex.magic 4096-ptr_max
PARAM_VALUE 0 kvm->arch.track_notifier_head.track_srcu.srcu_sup->srcu_cb_mutex.dep_map->name 0-255
PARAM_VALUE 0 kvm->arch.track_notifier_head.track_srcu.srcu_sup->srcu_cb_mutex.magic 4096-ptr_max
PARAM_VALUE 0 kvm->arch.track_notifier_head.track_srcu.srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 0 kvm->arch.track_notifier_head.track_srcu.srcu_sup->srcu_gp_mutex.magic 4096-ptr_max
PARAM_VALUE 0 kvm->arch.track_notifier_head.track_srcu.srcu_sup->srcu_gp_seq 18446744073709551216
PARAM_VALUE 0 kvm->arch.track_notifier_head.track_srcu.srcu_sup->srcu_gp_seq_needed 18446744073709551216
PARAM_VALUE 0 kvm->arch.track_notifier_head.track_srcu.srcu_sup->srcu_gp_seq_needed_exp 18446744073709551216
PARAM_VALUE 0 kvm->arch.track_notifier_head.track_srcu.srcu_sup->srcu_size_state 0-1,8
PARAM_VALUE 0 kvm->arch.track_notifier_head.track_srcu.srcu_sup->srcu_ssp 4096-ptr_max
PARAM_VALUE 0 kvm->arch.track_notifier_head.track_srcu.srcu_sup->srcu_ssp->sda 1-u64max
PARAM_VALUE 0 kvm->arch.track_notifier_head.track_srcu.srcu_sup->srcu_ssp->srcu_sup 4096-ptr_max
PARAM_VALUE 0 kvm->arch.tsc_write_lock.dep_map->name 0-255
PARAM_VALUE 0 kvm->arch.tsc_write_lock.owner (-1)
PARAM_VALUE 0 kvm->arch.tsc_write_lock.owner_cpu u32max
PARAM_VALUE 0 kvm->arch.vm_type 0-8
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
CAPPED_DATA 0 kvm->arch.disabled_quirks 1
DATA_SOURCE 0 kvm $0
STR_LEN 0 kvm 12
STR_LEN 0 kvm 12
STR_LEN 0 kvm->arch.vm_type 12
STR_LEN 0 kvm->stats_id 47
BIT_INFO 0 kvm 0x10,0xffffffffffffffff
BIT_INFO 0 kvm 0x10,0xffffffffffffffff
MEM_ZERO 0 &kvm->arch.kvmclock_update_rs
NOCHECK_CALL
USER_DATA 0 kvm->arch.has_private_mem 0[c]
USER_DATA 0 kvm->arch.pre_fault_allowed 0-1
USER_DATA 0 kvm->arch.vm_type 0-8