diff options
Diffstat (limited to 'src/dev/arm/gic_v2.hh')
| -rw-r--r-- | src/dev/arm/gic_v2.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dev/arm/gic_v2.hh b/src/dev/arm/gic_v2.hh index 410414075..15cb89e0a 100644 --- a/src/dev/arm/gic_v2.hh +++ b/src/dev/arm/gic_v2.hh @@ -475,6 +475,8 @@ class GicV2 : public BaseGic, public BaseGicRegisters void sendPPInt(uint32_t num, uint32_t cpu) override; void clearPPInt(uint32_t num, uint32_t cpu) override; + bool supportsVersion(GicVersion version) override; + protected: /** Handle a read to the distributor portion of the GIC * @param pkt packet to respond to |