diff options
Diffstat (limited to 'src/arch/x86/interrupts.hh')
| -rw-r--r-- | src/arch/x86/interrupts.hh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/arch/x86/interrupts.hh b/src/arch/x86/interrupts.hh index f5d86219b..46e5e5cad 100644 --- a/src/arch/x86/interrupts.hh +++ b/src/arch/x86/interrupts.hh @@ -44,6 +44,7 @@ #include "arch/x86/faults.hh" #include "arch/x86/intmessage.hh" #include "base/bitfield.hh" +#include "config/full_system.hh" #include "cpu/thread_context.hh" #include "dev/x86/intdev.hh" #include "dev/io_device.hh" @@ -175,6 +176,10 @@ class Interrupts : public BasicPioDevice, IntDev int initialApicId; +#if FULL_SYSTEM + Platform *platform; +#endif + public: /* * Params stuff. |