diff options
Diffstat (limited to 'src/dev/arm')
-rw-r--r-- | src/dev/arm/gic_pl390.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dev/arm/gic_pl390.hh b/src/dev/arm/gic_pl390.hh index 664705837..1a5248d92 100644 --- a/src/dev/arm/gic_pl390.hh +++ b/src/dev/arm/gic_pl390.hh @@ -360,7 +360,7 @@ class Pl390 : public BaseGic void unserialize(CheckpointIn &cp) override; public: /* PioDevice */ - AddrRangeList getAddrRanges() const { return addrRanges; } + AddrRangeList getAddrRanges() const override { return addrRanges; } /** A PIO read to the device, immediately split up into * readDistributor() or readCpu() |