summaryrefslogtreecommitdiff
path: root/src/arch/x86/intmessage.hh
diff options
context:
space:
mode:
authorGabe Black <gblack@eecs.umich.edu>2009-04-19 03:01:46 -0700
committerGabe Black <gblack@eecs.umich.edu>2009-04-19 03:01:46 -0700
commit633c96bd85e856dea174fd325f8a297413eb6a9c (patch)
tree4bed6671f0ab08c951fd2aac2cd942d3138ff2a3 /src/arch/x86/intmessage.hh
parent08f021aad0aa2ce7510060e1d29523dada226236 (diff)
downloadgem5-633c96bd85e856dea174fd325f8a297413eb6a9c.tar.xz
X86: The startup IPI delivery mode is not reserved.
Diffstat (limited to 'src/arch/x86/intmessage.hh')
-rw-r--r--src/arch/x86/intmessage.hh5
1 files changed, 3 insertions, 2 deletions
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;
}
}