diff options
| -rw-r--r-- | hw/intc/apic_common.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/hw/intc/apic_common.c b/hw/intc/apic_common.c index d78c885509..7dfcca437a 100644 --- a/hw/intc/apic_common.c +++ b/hw/intc/apic_common.c @@ -250,6 +250,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); |