From 18b38631274aa6197cb637f2e69d765dd24c8cf3 Mon Sep 17 00:00:00 2001
From: Gabe Black <gblack@eecs.umich.edu>
Date: Sun, 19 Apr 2009 03:56:36 -0700
Subject: X86: Only recognize the first startup IPI after INIT or reset.

---
 src/arch/x86/interrupts.hh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/arch/x86/interrupts.hh')

diff --git a/src/arch/x86/interrupts.hh b/src/arch/x86/interrupts.hh
index ba92c77d6..6ae77d7e3 100644
--- a/src/arch/x86/interrupts.hh
+++ b/src/arch/x86/interrupts.hh
@@ -131,6 +131,7 @@ class Interrupts : public BasicPioDevice, IntDev
     uint8_t initVector;
     bool pendingStartup;
     uint8_t startupVector;
+    bool startedUp;
 
     // This is a quick check whether any of the above (except ExtInt) are set.
     bool pendingUnmaskableInt;
-- 
cgit v1.2.3