1 files changed, 10 insertions, 0 deletions
diff --git a/dev/tsunami.hh b/dev/tsunami.hh
index db266d62d..df804956a 100644
--- a/dev/tsunami.hh
+++ b/dev/tsunami.hh
@@ -112,6 +112,16 @@ class Tsunami : public Platform
     virtual void clearConsoleInt();
 
     /**
+     * Cause the chipset to post a cpi interrupt to the CPU.
+     */
+    virtual void postPciInt(int line);
+
+    /**
+     * Clear a posted PCI->CPU interrupt
+     */
+    virtual void clearPciInt(int line);
+
+  /**
      * Serialize this object to the given output stream.
      * @param os The stream to serialize to.
      */