X86: Make code that sends an interrupt from the IO APIC available for IPIs.

1 files changed, 5 insertions, 0 deletions

diff --git a/src/dev/x86/intdev.hh b/src/dev/x86/intdev.hh
index ca8e7eea5..e95c72058 100644
--- a/src/dev/x86/intdev.hh
+++ b/src/dev/x86/intdev.hh
@@ -35,6 +35,7 @@
 #include <string>
 
 #include "arch/x86/x86_traits.hh"
+#include "arch/x86/intmessage.hh"
 #include "mem/mem_object.hh"
 #include "mem/mport.hh"
 #include "sim/sim_object.hh"
@@ -70,6 +71,10 @@ class IntDev
             return device->recvMessage(pkt);
         }
 
+        // This is x86 focused, so if this class becomes generic, this would
+        // need to be moved into a subclass.
+        void sendMessage(TriggerIntMessage message, bool timing);
+
         void recvStatusChange(Status status)
         {
             if (status == RangeChange) {