diff options
| -rw-r--r-- | src/dev/arm/gic.hh | 8 |
1 files changed, 4 insertions, 4 deletions
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); |