From dc6e4fa394de47bc0674ec46287acb21f059a1ea Mon Sep 17 00:00:00 2001
From: Avi Kivity <avi@qumranet.com>
Date: Sun, 6 May 2007 16:56:22 +0300
Subject: Re-initialize apic LVT_INT0 register on reset

this really ought to be done by the bios, but...
---
 hw/apic.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/hw/apic.c b/hw/apic.c
index 0b73233ba..570422475 100644
--- a/hw/apic.c
+++ b/hw/apic.c
@@ -804,6 +804,13 @@ static void apic_reset(void *opaque)
 {
     APICState *s = opaque;
     apic_init_ipi(s);
+
+    /*
+     * LINT0 delivery mode is set to ExtInt at initialization time
+     * typically by BIOS, so PIC interrupt can be delivered to the
+     * processor when local APIC is enabled.
+     */
+    s->lvt[APIC_LVT_LINT0] = 0x700;
 }
 
 static CPUReadMemoryFunc *apic_mem_read[3] = {
-- 
cgit v1.2.3