diff --git a/src/dev/arm/gic.hh b/src/dev/arm/gic.hh
index 810064ed4..4c43db660 100644
--- a/src/dev/arm/gic.hh
+++ b/src/dev/arm/gic.hh
@@ -227,6 +227,10 @@ class Gic : public PioDevice
     int intNumToWord(int num) const { return num >> 5; }
     int intNumToBit(int num) const { return num % 32; }
 
+    /** Post an interrupt to a CPU
+     */
+    void postInt(uint32_t cpu, Tick when);
+
     /** Event definition to post interrupt to CPU after a delay
     */
     class PostIntEvent : public Event
@@ -301,10 +305,6 @@ class Gic : public PioDevice
      * @param number number of interrupt to send */
     void clearInt(uint32_t number);
 
-    /** Post an interrupt to a CPU
-     */
-    void postInt(uint32_t cpu, Tick when);
-
     /* Various functions fer testing and debugging */
     void driveSPI(uint32_t spi);
     void driveLegIRQ(bool state);