This patch adds call to apic_reset_irq_delivered when the virtual machine is reset.
Signed-off-by: Pavel Dovgalyuk <pavel.dovga...@ispras.ru> --- hw/intc/apic_common.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/hw/intc/apic_common.c b/hw/intc/apic_common.c index 17df24c..cda3e9c 100644 --- a/hw/intc/apic_common.c +++ b/hw/intc/apic_common.c @@ -251,6 +251,8 @@ static void apic_reset_common(DeviceState *dev) s->apicbase = APIC_DEFAULT_ADDRESS | bsp | MSR_IA32_APICBASE_ENABLE; s->id = s->initial_apic_id; + apic_reset_irq_delivered(); + s->vapic_paddr = 0; info->vapic_base_update(s);