diff options
Diffstat (limited to 'src/dev/arm/gic_v3.hh')
| -rw-r--r-- | src/dev/arm/gic_v3.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dev/arm/gic_v3.hh b/src/dev/arm/gic_v3.hh index 89a8abec0..e0212ee61 100644 --- a/src/dev/arm/gic_v3.hh +++ b/src/dev/arm/gic_v3.hh @@ -125,6 +125,7 @@ class Gicv3 : public BaseGic void serialize(CheckpointOut & cp) const override; void unserialize(CheckpointIn & cp) override; Tick write(PacketPtr pkt) override; + bool supportsVersion(GicVersion version) override; public: |