Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/xen.c kvm_xen_init_vcpu() -> kvm_gpc_init()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
PARAM_VALUE 1 kvm 4096-ptr_max
PARAM_VALUE 1 kvm->arch.created_mediated_pmu 1
PARAM_VALUE 1 kvm->arch.enable_pmu 0
PARAM_VALUE 1 kvm->arch.max_vcpu_ids 1-u32max
PARAM_VALUE 1 kvm->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 kvm->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 kvm->max_vcpus (-2147483647)-s32max
PARAM_VALUE 1 kvm->vm_dead 0
NOCHECK_CALL
UNITS 1 kvm unit_byte

arch/x86/kvm/xen.c kvm_xen_init_vcpu() -> kvm_gpc_init()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
PARAM_VALUE 1 kvm 4096-ptr_max
PARAM_VALUE 1 kvm->arch.created_mediated_pmu 1
PARAM_VALUE 1 kvm->arch.enable_pmu 0
PARAM_VALUE 1 kvm->arch.max_vcpu_ids 1-u32max
PARAM_VALUE 1 kvm->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 kvm->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 kvm->max_vcpus (-2147483647)-s32max
PARAM_VALUE 1 kvm->vm_dead 0
NOCHECK_CALL
UNITS 1 kvm unit_byte

arch/x86/kvm/xen.c kvm_xen_init_vcpu() -> kvm_gpc_init()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
PARAM_VALUE 1 kvm 4096-ptr_max
PARAM_VALUE 1 kvm->arch.created_mediated_pmu 1
PARAM_VALUE 1 kvm->arch.enable_pmu 0
PARAM_VALUE 1 kvm->arch.max_vcpu_ids 1-u32max
PARAM_VALUE 1 kvm->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 kvm->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 kvm->max_vcpus (-2147483647)-s32max
PARAM_VALUE 1 kvm->vm_dead 0
NOCHECK_CALL
UNITS 1 kvm unit_byte

arch/x86/kvm/xen.c kvm_xen_init_vcpu() -> kvm_gpc_init()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
PARAM_VALUE 1 kvm 4096-ptr_max
PARAM_VALUE 1 kvm->arch.created_mediated_pmu 1
PARAM_VALUE 1 kvm->arch.enable_pmu 0
PARAM_VALUE 1 kvm->arch.max_vcpu_ids 1-u32max
PARAM_VALUE 1 kvm->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 kvm->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 kvm->max_vcpus (-2147483647)-s32max
PARAM_VALUE 1 kvm->vm_dead 0
NOCHECK_CALL
UNITS 1 kvm unit_byte

arch/x86/kvm/xen.c kvm_xen_init_vm() -> kvm_gpc_init()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
PARAM_VALUE 1 kvm 4096-ptr_max
PARAM_VALUE 1 kvm->__memslots 4096-ptr_max
PARAM_VALUE 1 kvm->arch.active_mmu_pages.next 4096-ptr_max
PARAM_VALUE 1 kvm->arch.active_mmu_pages.next->next 4096-ptr_max
PARAM_VALUE 1 kvm->arch.active_mmu_pages.prev 4096-ptr_max
PARAM_VALUE 1 kvm->arch.active_mmu_pages.prev->next 4096-ptr_max
PARAM_VALUE 1 kvm->arch.active_mmu_pages.prev->prev 4096-ptr_max
PARAM_VALUE 1 kvm->arch.apic_bus_cycle_ns 1
PARAM_VALUE 1 kvm->arch.apic_map_lock.dep_map->name 0-255
PARAM_VALUE 1 kvm->arch.apic_map_lock.first_waiter 0
PARAM_VALUE 1 kvm->arch.apic_map_lock.magic 4096-ptr_max
PARAM_VALUE 1 kvm->arch.apic_map_lock.owner.counter 0
PARAM_VALUE 1 kvm->arch.apicv_update_lock.dep_map->name 0-255
PARAM_VALUE 1 kvm->arch.apicv_update_lock.magic 4096-ptr_max
PARAM_VALUE 1 kvm->arch.disabled_quirks 0,2,512,514
PARAM_VALUE 1 kvm->arch.guest_can_read_msr_platform_info 1
PARAM_VALUE 1 kvm->arch.hv_root_tdp u64max
PARAM_VALUE 1 kvm->arch.kvmclock_offset (-9223372036854775807)-s64max
PARAM_VALUE 1 kvm->arch.kvmclock_update_rs.begin 0
PARAM_VALUE 1 kvm->arch.kvmclock_update_rs.burst 10
PARAM_VALUE 1 kvm->arch.kvmclock_update_rs.flags 1
PARAM_VALUE 1 kvm->arch.kvmclock_update_rs.interval 250
PARAM_VALUE 1 kvm->arch.kvmclock_update_rs.lock.magic 3735899821
PARAM_VALUE 1 kvm->arch.kvmclock_update_rs.lock.owner (-1)
PARAM_VALUE 1 kvm->arch.kvmclock_update_rs.lock.owner_cpu u32max
PARAM_VALUE 1 kvm->arch.mmu_page_hash 4096-ptr_max
PARAM_VALUE 1 kvm->arch.noncoherent_dma_count.counter 0
PARAM_VALUE 1 kvm->arch.pvclock_sc.lock 4096-ptr_max
PARAM_VALUE 1 kvm->arch.pvclock_sc.lock->magic 3735899821
PARAM_VALUE 1 kvm->arch.pvclock_sc.lock->owner (-1)
PARAM_VALUE 1 kvm->arch.pvclock_sc.lock->owner_cpu u32max
PARAM_VALUE 1 kvm->arch.pvclock_sc.seqcount.dep_map->name 0-255
PARAM_VALUE 1 kvm->arch.pvclock_sc.seqcount.sequence 0
PARAM_VALUE 1 kvm->arch.split_desc_cache.gfp_zero 256
PARAM_VALUE 1 kvm->arch.split_desc_cache.kmem_cache 0,4096-ptr_max
PARAM_VALUE 1 kvm->arch.split_page_header_cache.gfp_zero 256
PARAM_VALUE 1 kvm->arch.split_shadow_page_cache.gfp_zero 256
PARAM_VALUE 1 kvm->arch.tdp_mmu_roots.next 4096-ptr_max
PARAM_VALUE 1 kvm->arch.tdp_mmu_roots.next->next 4096-ptr_max
PARAM_VALUE 1 kvm->arch.tdp_mmu_roots.prev 4096-ptr_max
PARAM_VALUE 1 kvm->arch.tdp_mmu_roots.prev->next 4096-ptr_max
PARAM_VALUE 1 kvm->arch.tdp_mmu_roots.prev->prev 4096-ptr_max
PARAM_VALUE 1 kvm->arch.tsc_write_lock.dep_map->name 0-255
PARAM_VALUE 1 kvm->arch.tsc_write_lock.owner (-1)
PARAM_VALUE 1 kvm->arch.tsc_write_lock.owner_cpu u32max
PARAM_VALUE 1 kvm->arch.vm_type 0-8
PARAM_VALUE 1 kvm->arch.xen.evtchn_ports.idr_base 0
PARAM_VALUE 1 kvm->arch.xen.evtchn_ports.idr_next 0
PARAM_VALUE 1 kvm->arch.xen.evtchn_ports.idr_rt.xa_flags 33554436
PARAM_VALUE 1 kvm->arch.xen.xen_lock.dep_map->name 0-255
PARAM_VALUE 1 kvm->arch.xen.xen_lock.first_waiter 0
PARAM_VALUE 1 kvm->arch.xen.xen_lock.magic 4096-ptr_max
PARAM_VALUE 1 kvm->arch.xen.xen_lock.osq.tail.counter 0
PARAM_VALUE 1 kvm->arch.xen.xen_lock.owner.counter 0
PARAM_VALUE 1 kvm->buses 4096-ptr_max
PARAM_VALUE 1 kvm->debugfs_dentry (-2)
PARAM_VALUE 1 kvm->devices.next 4096-ptr_max
PARAM_VALUE 1 kvm->devices.next->next 4096-ptr_max
PARAM_VALUE 1 kvm->devices.prev 4096-ptr_max
PARAM_VALUE 1 kvm->devices.prev->next 4096-ptr_max
PARAM_VALUE 1 kvm->devices.prev->prev 4096-ptr_max
PARAM_VALUE 1 kvm->gpc_list.next 4096-ptr_max
PARAM_VALUE 1 kvm->gpc_list.next->next 4096-ptr_max
PARAM_VALUE 1 kvm->gpc_list.prev 4096-ptr_max
PARAM_VALUE 1 kvm->gpc_list.prev->next 4096-ptr_max
PARAM_VALUE 1 kvm->gpc_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 kvm->ioeventfds.next 4096-ptr_max
PARAM_VALUE 1 kvm->ioeventfds.next->next 4096-ptr_max
PARAM_VALUE 1 kvm->ioeventfds.prev 4096-ptr_max
PARAM_VALUE 1 kvm->ioeventfds.prev->next 4096-ptr_max
PARAM_VALUE 1 kvm->ioeventfds.prev->prev 4096-ptr_max
PARAM_VALUE 1 kvm->irq_lock.dep_map->name 0-255
PARAM_VALUE 1 kvm->irq_lock.first_waiter 0
PARAM_VALUE 1 kvm->irq_lock.magic 4096-ptr_max
PARAM_VALUE 1 kvm->irq_lock.osq.tail.counter 0
PARAM_VALUE 1 kvm->irq_lock.owner.counter 0
PARAM_VALUE 1 kvm->irq_routing 4096-ptr_max
PARAM_VALUE 1 kvm->irq_routing->nr_rt_entries 1
PARAM_VALUE 1 kvm->irqfds.items.next 4096-ptr_max
PARAM_VALUE 1 kvm->irqfds.items.next->next 4096-ptr_max
PARAM_VALUE 1 kvm->irqfds.items.prev 4096-ptr_max
PARAM_VALUE 1 kvm->irqfds.items.prev->next 4096-ptr_max
PARAM_VALUE 1 kvm->irqfds.items.prev->prev 4096-ptr_max
PARAM_VALUE 1 kvm->irqfds.resampler_list.next 4096-ptr_max
PARAM_VALUE 1 kvm->irqfds.resampler_list.next->next 4096-ptr_max
PARAM_VALUE 1 kvm->irqfds.resampler_list.prev 4096-ptr_max
PARAM_VALUE 1 kvm->irqfds.resampler_list.prev->next 4096-ptr_max
PARAM_VALUE 1 kvm->irqfds.resampler_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 kvm->irqfds.resampler_lock.dep_map->name 0-255
PARAM_VALUE 1 kvm->irqfds.resampler_lock.first_waiter 0
PARAM_VALUE 1 kvm->irqfds.resampler_lock.magic 4096-ptr_max
PARAM_VALUE 1 kvm->lock.dep_map->name 0-255
PARAM_VALUE 1 kvm->lock.first_waiter 0
PARAM_VALUE 1 kvm->lock.magic 4096-ptr_max
PARAM_VALUE 1 kvm->lock.osq.tail.counter 0
PARAM_VALUE 1 kvm->lock.owner.counter 0
PARAM_VALUE 1 kvm->max_vcpus 4096
PARAM_VALUE 1 kvm->mem_attr_array.xa_flags 0
PARAM_VALUE 1 kvm->mem_attr_array.xa_head 0
PARAM_VALUE 1 kvm->memslots 4096-ptr_max
PARAM_VALUE 1 kvm->mmu_lock.magic 3736018669
PARAM_VALUE 1 kvm->mmu_lock.owner (-1)
PARAM_VALUE 1 kvm->mmu_lock.owner_cpu u32max
PARAM_VALUE 1 kvm->mn_memslots_update_rcuwait.task 0
PARAM_VALUE 1 kvm->slots_arch_lock.dep_map->name 0-255
PARAM_VALUE 1 kvm->slots_arch_lock.first_waiter 0
PARAM_VALUE 1 kvm->slots_arch_lock.magic 4096-ptr_max
PARAM_VALUE 1 kvm->slots_arch_lock.osq.tail.counter 0
PARAM_VALUE 1 kvm->slots_arch_lock.owner.counter 0
PARAM_VALUE 1 kvm->slots_lock.dep_map->name 0-255
PARAM_VALUE 1 kvm->slots_lock.first_waiter 0
PARAM_VALUE 1 kvm->slots_lock.magic 4096-ptr_max
PARAM_VALUE 1 kvm->slots_lock.osq.tail.counter 0
PARAM_VALUE 1 kvm->slots_lock.owner.counter 0
PARAM_VALUE 1 kvm->users_count.refs.counter 1
PARAM_VALUE 1 kvm->vcpu_array.xa_flags 0
PARAM_VALUE 1 kvm->vcpu_array.xa_head 0
CAPPED_DATA 1 kvm->arch.disabled_quirks 1
DATA_SOURCE 1 kvm $0
STR_LEN 0 gpc 12
STR_LEN 1 kvm 12
STR_LEN 1 kvm->arch.vm_type 12
STR_LEN 1 kvm->stats_id 47
MEM_ZERO 1 &kvm->arch.kvmclock_update_rs
NOCHECK_CALL
USER_DATA 1 kvm->arch.has_private_mem 0[c]
USER_DATA 1 kvm->arch.pre_fault_allowed 0-1
USER_DATA 1 kvm->arch.vm_type 0-8

arch/x86/kvm/x86.c kvm_arch_vcpu_create() -> kvm_gpc_init()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
PARAM_VALUE 1 kvm 4096-ptr_max
PARAM_VALUE 1 kvm->arch.created_mediated_pmu 1
PARAM_VALUE 1 kvm->arch.enable_pmu 0
PARAM_VALUE 1 kvm->arch.max_vcpu_ids 1-u32max
PARAM_VALUE 1 kvm->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 kvm->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 kvm->max_vcpus (-2147483647)-s32max
PARAM_VALUE 1 kvm->vm_dead 0
NOCHECK_CALL
UNITS 1 kvm unit_byte