diff options
| author | Gabe Black <gblack@eecs.umich.edu> | 2009-04-19 03:01:46 -0700 |
|---|---|---|
| committer | Gabe Black <gblack@eecs.umich.edu> | 2009-04-19 03:01:46 -0700 |
| commit | 633c96bd85e856dea174fd325f8a297413eb6a9c (patch) | |
| tree | 4bed6671f0ab08c951fd2aac2cd942d3138ff2a3 /src/arch/x86/intmessage.hh | |
| parent | 08f021aad0aa2ce7510060e1d29523dada226236 (diff) | |
| download | gem5-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.hh | 5 |
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; } } |