Artem Chernyshev 95a3645527 hw/xen_evtchn: Initialize flush_kvm_routes ... In xen_evtchn_soft_reset() variable flush_kvm_routes can be used before being initialized. Found by Linux Verification Center (linuxtesting.org) with SVACE. Signed-off-by: Oleg Sviridov <oleg.sviridov@red-soft.ru> Signed-off-by: Artem Chernyshev <artem.chernyshev@red-soft.ru> Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org> Message-ID: <20240329113939.257033-1-artem.chernyshev@red-soft.ru> Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>		2024-04-02 16:15:07 +02:00
..
kvm	hw/xen_evtchn: Initialize flush_kvm_routes	2024-04-02 16:15:07 +02:00
xen	hw/xen/hvm: Get target page size at runtime	2024-03-09 18:51:45 +01:00
acpi-build.c	hw/i386/acpi-build: Add support for SRAT Generic Initiator structures	2024-03-12 17:56:55 -04:00
acpi-build.h
acpi-common.c	Misc HW patch queue	2024-02-22 15:44:29 +00:00
acpi-common.h	hw/i386/acpi: Declare pc_madt_cpu_entry() in 'acpi-common.h'	2024-02-20 20:34:21 +03:00
acpi-microvm.c	hw/i386/acpi-microvm.c: Use common function to add virtio in DSDT	2024-01-10 18:47:46 +10:00
acpi-microvm.h
amd_iommu-stub.c	amd_iommu: report x2APIC support to the operating system	2024-02-14 06:09:32 -05:00
amd_iommu.c	hw/i386/pc: Rename "bus" attribute to "pcibus"	2024-02-27 09:37:30 +01:00
amd_iommu.h	amd_iommu: report x2APIC support to the operating system	2024-02-14 06:09:32 -05:00
e820_memory_layout.c
e820_memory_layout.h
fw_cfg.c	smbios: get rid of global smbios_ep_type	2024-03-18 08:42:45 -04:00
fw_cfg.h	smbios: get rid of global smbios_ep_type	2024-03-18 08:42:45 -04:00
intel_iommu_internal.h	intel-iommu: Report interrupt remapping faults, fix return value	2023-10-22 05:18:17 -04:00
intel_iommu.c	hw/i386/pc: Rename "bus" attribute to "pcibus"	2024-02-27 09:37:30 +01:00
Kconfig	smbios: build legacy mode code only for 'pc' machine	2024-03-18 08:42:45 -04:00
meson.build	hw/i386: Rename kvmvapic.c -> vapic.c	2024-03-09 18:51:45 +01:00
microvm-dt.c
microvm-dt.h
microvm.c	hw/i386/x86: Let ioapic_init_gsi() take parent as pointer	2024-02-27 09:37:30 +01:00
multiboot.c
multiboot.h
pc_piix.c	pc/q35: set SMBIOS entry point type to 'auto' by default	2024-03-18 08:42:46 -04:00
pc_q35.c	pc/q35: set SMBIOS entry point type to 'auto' by default	2024-03-18 08:42:46 -04:00
pc_sysfw_ovmf-stubs.c
pc_sysfw_ovmf.c
pc_sysfw.c	Revert "hw/i386/pc: Confine system flash handling to pc_sysfw"	2024-03-12 17:56:55 -04:00
pc.c	hw/i386/pc: Restrict CXL to PCI-based machines	2024-04-02 14:55:32 +02:00
port92.c	hw/i386/port92: Add missing 'hw/isa/isa.h' header	2024-02-20 20:34:21 +03:00
sgx-epc.c
sgx-stub.c	target/i386: the sgx_epc_get_section stub is reachable	2023-12-31 09:11:27 +01:00
sgx.c	hw/i386/sgx: Use QDev API	2024-02-27 09:37:30 +01:00
trace-events	vmmouse: replace DPRINTF with tracing	2023-09-12 10:37:01 +04:00
trace.h
vapic.c	hw/i386: Rename kvmvapic.c -> vapic.c	2024-03-09 18:51:45 +01:00
vmmouse.c	hw/i386: Constify VMState	2023-12-29 11:17:30 +11:00
vmport.c
x86-iommu-stub.c
x86-iommu.c	hw/i386/pc: Rename "bus" attribute to "pcibus"	2024-02-27 09:37:30 +01:00
x86.c	hw/core: Declare CPUArchId::cpu as CPUState instead of Object	2024-03-12 11:46:16 +01:00