From 633c96bd85e856dea174fd325f8a297413eb6a9c Mon Sep 17 00:00:00 2001
From: Gabe Black <gblack@eecs.umich.edu>
Date: Sun, 19 Apr 2009 03:01:46 -0700
Subject: X86: The startup IPI delivery mode is not reserved.

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

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

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