Message ID | 1462786020-144172-8-git-send-email-imammedo@redhat.com (mailing list archive) |
---|---|
State | New, archived |
Headers | show |
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);
APIC ID should be restored to initial APIC ID state after Reset and Power-On. Signed-off-by: Igor Mammedov <imammedo@redhat.com> --- hw/intc/apic_common.c | 1 + 1 file changed, 1 insertion(+)