nested_vmx_vmexit identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

arch/x86/kvm/vmx/nested.h, line 34 (as a function)

Referenced in 3 files:

Smatch caller information:

arch/x86/kvm/vmx/nested.c handle_vmfunc() -> nested_vmx_vmexit()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.regs_avail	4096-ptr_max
DATA_SOURCE	0	vcpu	$0
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c nested_ept_inject_page_fault() -> nested_vmx_vmexit()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.apic->vcpu->kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode	0-4294967295
PARAM_VALUE	0	vcpu->arch.apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vcpu->arch.apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->type	0-1
PARAM_VALUE	0	vcpu->arch.apic->vcpu->run->hypercall.ret	0-s32max,1844674407370955159,18446744071562067968-u64max
PARAM_VALUE	0	vcpu->arch.emulate_ctxt->ops->get_cr	4096-ptr_max
PARAM_VALUE	0	vcpu->kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_advance_ns	0-4294967295
PARAM_VALUE	0	vcpu->kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode_mask	0-4294967295
PARAM_VALUE	0	vcpu->kvm->arch.apicv_update_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vcpu->kvm->arch.apicv_update_lock.first_waiter->type	0-1
PARAM_VALUE	0	vcpu->kvm->mmu_lock.dep_map->name	0-255
PARAM_VALUE	0	vcpu->kvm->mmu_lock.owner	(-1)
PARAM_VALUE	0	vcpu->kvm->mmu_lock.owner_cpu	u32max
PARAM_VALUE	0	vcpu->kvm->mmu_lock.raw_lock.wlocked	0
PARAM_VALUE	0	vcpu->run->debug.arch.exception	1,3
PARAM_VALUE	0	vcpu->run->emulation_failure.flags	0-1
PARAM_VALUE	0	vcpu->run->emulation_failure.insn_size	1-255
PARAM_VALUE	0	vcpu->run->emulation_failure.ndata	6,8,10,12
PARAM_VALUE	0	vcpu->run->emulation_failure.suberror	1
PARAM_VALUE	0	vcpu->run->hypercall.ret	0-s32max,1844674407370955159,18446744071562067968-u64max
PARAM_VALUE	0	vcpu->run->internal.ndata	0,2,4-5
PARAM_VALUE	0	vcpu->run->internal.suberror	1-4
PARAM_VALUE	0	vcpu->run->memory_fault.flags	0,8
PARAM_VALUE	0	vcpu->run->memory_fault.gpa	0,4096-18446744073709547520
PARAM_VALUE	0	vcpu->run->memory_fault.size	4096
PARAM_VALUE	0	vcpu->run->mmio.is_write	0-1
PARAM_VALUE	0	vcpu->run->mmio.len	0-8
PARAM_VALUE	0	vcpu->run->system_event.ndata	0-1,16
PARAM_VALUE	0	vcpu->run->system_event.type	2-3,6-7
PARAM_VALUE	0	*vcpu->arch.emulate_ctxt->fetch.data	0-255
PARAM_VALUE	1	vm_exit_reason	48-49,62
PARAM_VALUE	2	exit_intr_info	0
BUF_SIZE	0	vcpu	s32min-(-1),1-s32max
BUF_SIZE	0	vcpu	s32min-(-1),1-s32max
DATA_SOURCE	0	vcpu	$0
FUZZY_MAX	1	vm_exit_reason	62
BIT_INFO	1	vm_exit_reason	0x30,0x3f
NOSPEC	0	vcpu->arch.mmio_gfn
NOSPEC	0	vcpu->arch.xen.runstate_cache.uhva
HARD_MAX	1	vm_exit_reason	62
NOCHECK_CALL
HOST_DATA	0	vcpu->arch.host_debugctl	0-u64max[c]
USER_DATA	0	vcpu->arch.cr8	0-14
USER_DATA	0	vcpu->arch.mmio_gfn	0-4503599627370495[c]
USER_DATA	0	vcpu->arch.mmu->root.pgd	0-u64max
USER_DATA	0	vcpu->arch.xen.runstate2_cache.gpa	0-18446744073709551614[c]
USER_DATA	0	vcpu->arch.xen.runstate2_cache.pfn	0-4503599627370494[c]
USER_DATA	0	vcpu->arch.xen.runstate2_cache.uhva	0-u64max[c]
USER_DATA	0	vcpu->arch.xen.runstate_cache.gpa	0-18446744073709551614[c]
USER_DATA	0	vcpu->arch.xen.runstate_cache.pfn	0-4503599627370494[c]
USER_DATA	0	vcpu->arch.xen.runstate_cache.uhva	0-u64max[c]
USER_DATA	0	vcpu->run->memory_fault.gpa	0,4096-18446744073709547520[c]
USER_DATA	0	*vcpu->arch.emulate_ctxt->fetch.end	0-255
NO_OVERFLOW_SIMPLE	0	vcpu->arch.mmu_external_spt_cache.capacity
NO_OVERFLOW_SIMPLE	0	vcpu->arch.mmu_external_spt_cache.kmem_cache->sheaf_capacity
NO_OVERFLOW_SIMPLE	0	vcpu->arch.mmu_external_spt_cache.nobjs
NO_OVERFLOW_SIMPLE	0	vcpu->arch.mmu_page_header_cache.capacity
NO_OVERFLOW_SIMPLE	0	vcpu->arch.mmu_page_header_cache.kmem_cache->sheaf_capacity
NO_OVERFLOW_SIMPLE	0	vcpu->arch.mmu_page_header_cache.nobjs
NO_OVERFLOW_SIMPLE	0	vcpu->arch.mmu_pte_list_desc_cache.capacity
NO_OVERFLOW_SIMPLE	0	vcpu->arch.mmu_pte_list_desc_cache.nobjs
NO_OVERFLOW_SIMPLE	0	vcpu->arch.mmu_shadow_page_cache.capacity
NO_OVERFLOW_SIMPLE	0	vcpu->arch.mmu_shadow_page_cache.kmem_cache->sheaf_capacity
NO_OVERFLOW_SIMPLE	0	vcpu->arch.mmu_shadow_page_cache.nobjs
NO_OVERFLOW_SIMPLE	0	vcpu->arch.mmu_shadowed_info_cache.capacity
NO_OVERFLOW_SIMPLE	0	vcpu->arch.mmu_shadowed_info_cache.nobjs
NO_OVERFLOW_SIMPLE	0	vcpu->arch.pio.count
NO_OVERFLOW_SIMPLE	0	vcpu->arch.pio.size
USER_PTR	0	vcpu->arch.emulate_ctxt->fetch.end
USER_PTR	0	vcpu->arch.hyperv->vp_assist_page.intercept_message
USER_PTR	0	vcpu->arch.hyperv->vp_assist_page.reserved2
USER_PTR	0	vcpu->arch.hyperv->vp_assist_page.reserved3
USER_PTR	0	vcpu->arch.hyperv->vp_assist_page.reserved4
USER_PTR	0	vcpu->arch.hyperv->vp_assist_page.virtualization_fault_information
USER_PTR	0	vcpu->arch.hyperv->vp_assist_page.vtl_ret_actions
USER_PTR	0	vcpu->arch.pdptrs
HALF_LOCKED2	0	&vcpu->kvm->srcu
HALF_LOCKED2	0	&vcpu->mutex

arch/x86/kvm/vmx/nested.c nested_vmx_inject_exception_vmexit() -> nested_vmx_vmexit()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.apic	0,4096-ptr_max
PARAM_VALUE	0	vcpu->arch.exception_vmexit.pending	1
PARAM_VALUE	1	vm_exit_reason	0
PARAM_VALUE	2	exit_intr_info	2147484416-2147484671,2147485184-2147485439,2147486464-2147486719,2147487232-2147487487,2147488512-2147488767,2147489280-2147489535,2147490560-2147490815,2147491328-2147491583
DATA_SOURCE	0	vcpu	$0
BIT_INFO	2	exit_intr_info	0x80000200,0x80001fff
NOCHECK_CALL
UNITS	3	exit_qualification	unit_byte

arch/x86/kvm/vmx/nested.c nested_vmx_reflect_vmexit() -> nested_vmx_vmexit()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.nested_run_pending	0
PARAM_VALUE	0	vcpu->arch.regs_avail	4096-ptr_max
PARAM_VALUE	0	vcpu->kvm	4096-ptr_max
DATA_SOURCE	0	vcpu	$0
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c nested_vmx_triple_fault() -> nested_vmx_vmexit()

Type	Parameter	Key	Value
PARAM_VALUE	1	vm_exit_reason	2
PARAM_VALUE	2	exit_intr_info	0
PARAM_VALUE	3	exit_qualification	0
DATA_SOURCE	0	vcpu	$0
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c vmx_check_nested_events() -> nested_vmx_vmexit()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.apic	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.exception.injected	0
PARAM_VALUE	0	vcpu->arch.interrupt.injected	0
PARAM_VALUE	0	vcpu->arch.mp_state	s32min-1,3-s32max
PARAM_VALUE	0	vcpu->arch.nmi_injected	0
PARAM_VALUE	1	vm_exit_reason	3
PARAM_VALUE	2	exit_intr_info	0
PARAM_VALUE	3	exit_qualification	0
DATA_SOURCE	0	vcpu	$0
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c vmx_check_nested_events() -> nested_vmx_vmexit()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.apic	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.exception.injected	0
PARAM_VALUE	0	vcpu->arch.interrupt.injected	0
PARAM_VALUE	0	vcpu->arch.mp_state	2
PARAM_VALUE	0	vcpu->arch.nmi_injected	0
PARAM_VALUE	1	vm_exit_reason	4
PARAM_VALUE	2	exit_intr_info	0
PARAM_VALUE	3	exit_qualification	0-255
DATA_SOURCE	0	vcpu	$0
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c vmx_check_nested_events() -> nested_vmx_vmexit()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.apic	0,4096-ptr_max
PARAM_VALUE	0	vcpu->arch.exception.injected	0
PARAM_VALUE	0	vcpu->arch.interrupt.injected	0
PARAM_VALUE	0	vcpu->arch.nmi_injected	0
PARAM_VALUE	1	vm_exit_reason	37
PARAM_VALUE	2	exit_intr_info	0
PARAM_VALUE	3	exit_qualification	0
DATA_SOURCE	0	vcpu	$0
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c vmx_check_nested_events() -> nested_vmx_vmexit()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.apic	0,4096-ptr_max
PARAM_VALUE	0	vcpu->arch.exception.injected	0
PARAM_VALUE	0	vcpu->arch.exception.pending	0
PARAM_VALUE	0	vcpu->arch.exception_vmexit.pending	0
PARAM_VALUE	0	vcpu->arch.interrupt.injected	0
PARAM_VALUE	0	vcpu->arch.nmi_injected	0
PARAM_VALUE	1	vm_exit_reason	52
PARAM_VALUE	2	exit_intr_info	0
PARAM_VALUE	3	exit_qualification	0
DATA_SOURCE	0	vcpu	$0
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c vmx_check_nested_events() -> nested_vmx_vmexit()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.apic	0,4096-ptr_max
PARAM_VALUE	0	vcpu->arch.exception.injected	0
PARAM_VALUE	0	vcpu->arch.exception.pending	0
PARAM_VALUE	0	vcpu->arch.exception_vmexit.pending	0
PARAM_VALUE	0	vcpu->arch.interrupt.injected	0
PARAM_VALUE	0	vcpu->arch.nmi_injected	0
PARAM_VALUE	0	vcpu->arch.nmi_pending	1-u32max
PARAM_VALUE	1	vm_exit_reason	0
PARAM_VALUE	2	exit_intr_info	2147484162
PARAM_VALUE	3	exit_qualification	0
DATA_SOURCE	0	vcpu	$0
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c vmx_check_nested_events() -> nested_vmx_vmexit()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.apic	0,4096-ptr_max
PARAM_VALUE	0	vcpu->arch.exception.injected	0
PARAM_VALUE	0	vcpu->arch.exception.pending	0
PARAM_VALUE	0	vcpu->arch.exception_vmexit.pending	0
PARAM_VALUE	0	vcpu->arch.interrupt.injected	0
PARAM_VALUE	0	vcpu->arch.nmi_injected	0
PARAM_VALUE	0	vcpu->arch.xen.vcpu_info_cache.lock.dep_map->name	0-255
PARAM_VALUE	1	vm_exit_reason	1
PARAM_VALUE	2	exit_intr_info	0
PARAM_VALUE	3	exit_qualification	0
DATA_SOURCE	0	vcpu	$0
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c vmx_check_nested_events() -> nested_vmx_vmexit()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.apic	0,4096-ptr_max
PARAM_VALUE	0	vcpu->arch.apic->vcpu->run->hypercall.ret	0-s32max,18446744071562067968-u64max
PARAM_VALUE	0	vcpu->arch.apic->vcpu->run->system_event.ndata	1,16
PARAM_VALUE	0	vcpu->arch.apic->vcpu->run->system_event.type	6-7
PARAM_VALUE	0	vcpu->arch.exception.injected	0
PARAM_VALUE	0	vcpu->arch.exception.pending	0
PARAM_VALUE	0	vcpu->arch.exception_vmexit.pending	0
PARAM_VALUE	0	vcpu->arch.interrupt.injected	0
PARAM_VALUE	0	vcpu->arch.nmi_injected	0
PARAM_VALUE	0	vcpu->arch.xen.vcpu_info_cache.lock.dep_map->name	0-255
PARAM_VALUE	0	vcpu->run->system_event.ndata	1,16
PARAM_VALUE	0	vcpu->run->system_event.type	6-7
PARAM_VALUE	1	vm_exit_reason	1
PARAM_VALUE	3	exit_qualification	0
DATA_SOURCE	0	vcpu	$0
BIT_INFO	2	exit_intr_info	0x80000000,0xffffffff
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c vmx_check_nested_events() -> nested_vmx_vmexit()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.apic	0,4096-ptr_max
PARAM_VALUE	0	vcpu->arch.apic->guest_apic_protected	0
PARAM_VALUE	0	vcpu->arch.apic->vcpu->run->hypercall.ret	0-s32max,18446744071562067968-u64max
PARAM_VALUE	0	vcpu->arch.apic->vcpu->run->system_event.ndata	1,16
PARAM_VALUE	0	vcpu->arch.apic->vcpu->run->system_event.type	6-7
PARAM_VALUE	0	vcpu->arch.exception.injected	0
PARAM_VALUE	0	vcpu->arch.exception.pending	0
PARAM_VALUE	0	vcpu->arch.exception_vmexit.pending	0
PARAM_VALUE	0	vcpu->arch.interrupt.injected	0
PARAM_VALUE	0	vcpu->arch.nmi_injected	0
PARAM_VALUE	0	vcpu->arch.xen.vcpu_info_cache.lock.dep_map->name	0-255
PARAM_VALUE	0	vcpu->run->system_event.ndata	1,16
PARAM_VALUE	0	vcpu->run->system_event.type	6-7
PARAM_VALUE	1	vm_exit_reason	1
PARAM_VALUE	2	exit_intr_info	2147483648-u32max
PARAM_VALUE	3	exit_qualification	0
DATA_SOURCE	0	vcpu	$0
BIT_INFO	2	exit_intr_info	0x80000000,0xffffffff
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c vmx_leave_nested() -> nested_vmx_vmexit()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.nested_run_pending	0
PARAM_VALUE	1	vm_exit_reason	u32max
PARAM_VALUE	2	exit_intr_info	0
PARAM_VALUE	3	exit_qualification	0
CAPPED_DATA	0	vcpu	1
DATA_SOURCE	0	vcpu	$0
NOCHECK_CALL

arch/x86/kvm/vmx/hyperv.c vmx_hv_inject_synthetic_vmexit_post_tlb_flush() -> nested_vmx_vmexit()

Type	Parameter	Key	Value
PARAM_VALUE	1	vm_exit_reason	268435505
PARAM_VALUE	2	exit_intr_info	0
PARAM_VALUE	3	exit_qualification	0
DATA_SOURCE	0	vcpu	$0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c __vmx_handle_exit() -> nested_vmx_vmexit()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.nested_run_pending	0
PARAM_VALUE	0	vcpu->kvm	4096-ptr_max
PARAM_VALUE	1	vm_exit_reason	2
PARAM_VALUE	2	exit_intr_info	0
PARAM_VALUE	3	exit_qualification	0
DATA_SOURCE	0	vcpu	$0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_enter_smm() -> nested_vmx_vmexit()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->kvm	4096-ptr_max
PARAM_VALUE	0	vcpu->kvm->arch.vm_type	0-4,6-255
PARAM_VALUE	1	vm_exit_reason	u32max
PARAM_VALUE	2	exit_intr_info	0
PARAM_VALUE	3	exit_qualification	0
DATA_SOURCE	0	vcpu	$0
NOCHECK_CALL