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/intmessage.hh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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

diff --git a/src/arch/x86/intmessage.hh b/src/arch/x86/intmessage.hh
index ec3a76c66..467085da2 100644
--- a/src/arch/x86/intmessage.hh
+++ b/src/arch/x86/intmessage.hh
@@ -57,19 +57,20 @@ namespace X86ISA
             SMI = 2,
             NMI = 4,
             INIT = 5,
+            SIPI = 6,
             ExtInt = 7,
             NumModes
         };
 
         static const char * const names[NumModes] = {
             "Fixed", "LowestPriority", "SMI", "Reserved",
-            "NMI", "INIT", "Reserved", "ExtInt"
+            "NMI", "INIT", "Startup", "ExtInt"
         };
 
         static inline bool
         isReserved(int mode)
         {
-            return mode == 3 || mode == 6;
+            return mode == 3;
         }
     }
 
-- 
cgit v1.2.3