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

This commit is contained in:
Ali Saidi 2011-08-19 15:08:08 -05:00
parent 243223ae63
commit 23755eb434

View file

@ -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);