ARM: Make GIC function that should only be called by GIC protected.

diff --git a/src/dev/arm/gic.hh b/src/dev/arm/gic.hh
index 810064ed48f3cc13b9c9a1b8549dd23809444b96..4c43db66008d393b668f5f51f7d6e3245585f43c 100644 (file)
--- 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);