Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/mmu/mmu.c kvm_mmu_init_vm() -> kvm_mmu_alloc_page_hash()

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.disabled_quirks 0,2,512,514
PARAM_VALUE 0 kvm->arch.possible_nx_huge_pages 4096-ptr_max
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->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->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
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

arch/x86/kvm/mmu/mmu.c mmu_first_shadow_root_alloc() -> kvm_mmu_alloc_page_hash()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 0 kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_advance_ns 0-5000
PARAM_VALUE 0 kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode 0,131072-393216
PARAM_VALUE 0 kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode_mask 0,131072,393216
PARAM_VALUE 0 kvm->arch.apicv_update_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 kvm->arch.apicv_update_lock.first_waiter->type 0-1
PARAM_VALUE 0 kvm->arch.shadow_root_allocated 0
PARAM_VALUE 0 kvm->slots_arch_lock.dep_map->name 0-255
PARAM_VALUE 0 kvm->slots_arch_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 kvm->slots_arch_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 kvm->slots_arch_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 kvm->slots_arch_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 kvm->slots_arch_lock.wait_lock.owner (-1)
PARAM_VALUE 0 kvm->slots_arch_lock.wait_lock.owner_cpu u32max
CAPPED_DATA 0 &kvm->slots_arch_lock 1
DATA_SOURCE 0 kvm $0
UNITS 0 kvm unit_byte
LOCK2 0 &kvm->slots_arch_lock
HALF_LOCKED2 &vcpu->mutex
HALF_LOCKED2 0 &kvm->srcu
TYPE_LOCK (struct kvm)->slots_arch_lock