APIC ID should be restored to initial APIC ID
state after Reset and Power-On.
Signed-off-by: Igor Mammedov <imamm...@redhat.com>
---
hw/intc/apic_common.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/hw/intc/apic_common.c b/hw/intc/apic_common.c
index b33a823..e17b92c 100644
--- a/hw/intc/apic_common.c
+++ b/hw/intc/apic_common.c
@@ -240,6 +240,7 @@ static void apic_reset_common(DeviceState *dev)
bsp = s->apicbase & MSR_IA32_APICBASE_BSP;
s->apicbase = APIC_DEFAULT_ADDRESS | bsp | MSR_IA32_APICBASE_ENABLE;
+ s->id = s->initial_apic_id;
s->vapic_paddr = 0;
info->vapic_base_update(s);
--
1.8.3.1
