From 23755eb43428845737aa514314f1bd0ace5d5372 Mon Sep 17 00:00:00 2001
From: Ali Saidi <Ali.Saidi@ARM.com>
Date: Fri, 19 Aug 2011 15:08:08 -0500
Subject: ARM: Make GIC function that should only be called by GIC protected.

---
 src/dev/arm/gic.hh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/dev/arm')

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