From: Igor Mammedov <imamm...@redhat.com> APIC ID should be restored to initial APIC ID state after Reset and Power-On.
Signed-off-by: Igor Mammedov <imamm...@redhat.com> Reviewed-by: Eduardo Habkost <ehabk...@redhat.com> Signed-off-by: Eduardo Habkost <ehabk...@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 30f2af0..ea3c8ca 100644 --- a/hw/intc/apic_common.c +++ b/hw/intc/apic_common.c @@ -243,6 +243,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); -- 2.7.4