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()