apic_eoi() calls ioapic_eoi_broadcast(), so APIC has to select the IOAPIC Kconfig.
Signed-off-by: Philippe Mathieu-Daudé <[email protected]> --- Cc: "Michael S. Tsirkin" <[email protected]> RFC because I'm not sure the design is correct (meanwhile the fix is, however). --- hw/intc/Kconfig | 1 + 1 file changed, 1 insertion(+) diff --git a/hw/intc/Kconfig b/hw/intc/Kconfig index a189d6fedd..82748ae13d 100644 --- a/hw/intc/Kconfig +++ b/hw/intc/Kconfig @@ -24,6 +24,7 @@ config APIC bool select MSI_NONBROKEN select I8259 + select IOAPIC config ARM_GIC_KVM bool -- 2.21.0
