diff options
Diffstat (limited to 'src/dev/arm/gic_pl390.hh')
| -rw-r--r-- | src/dev/arm/gic_pl390.hh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/dev/arm/gic_pl390.hh b/src/dev/arm/gic_pl390.hh index 58d84346d..dc45d25d7 100644 --- a/src/dev/arm/gic_pl390.hh +++ b/src/dev/arm/gic_pl390.hh @@ -320,9 +320,6 @@ class Pl390 : public BaseGic, public BaseGicRegisters uint32_t cpuPpiPending[CPU_MAX]; uint32_t cpuPpiActive[CPU_MAX]; - /** IRQ Enable Used for debug */ - bool irqEnable; - /** software generated interrupt * @param data data to decode that indicates which cpus to interrupt */ @@ -392,15 +389,6 @@ class Pl390 : public BaseGic, public BaseGicRegisters void sendPPInt(uint32_t num, uint32_t cpu) override; void clearPPInt(uint32_t num, uint32_t cpu) override; - public: // Test & debug intefaces - /** @{ */ - /* Various functions fer testing and debugging */ - void driveSPI(uint32_t spi); - void driveLegIRQ(bool state); - void driveLegFIQ(bool state); - void driveIrqEn(bool state); - /** @} */ - protected: /** Handle a read to the distributor portion of the GIC * @param pkt packet to respond to |