From 9549694ecd1cc80e2b690631ea58d14778d368af Mon Sep 17 00:00:00 2001
From: Gabe Black <gblack@eecs.umich.edu>
Date: Sun, 19 Apr 2009 02:42:19 -0700
Subject: X86: Make code that sends an interrupt from the IO APIC available for
 IPIs.

---
 src/dev/x86/intdev.hh | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/dev/x86/intdev.hh')

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) {
-- 
cgit v1.2.3