diff --git a/src/dev/arm/gic_pl390.cc b/src/dev/arm/gic_pl390.cc
index ce27e94fc3..7b63306c39 100644
--- a/src/dev/arm/gic_pl390.cc
+++ b/src/dev/arm/gic_pl390.cc
@@ -95,6 +95,12 @@ Pl390::Pl390(const Params *p)
     gem5ExtensionsEnabled = false;
 }
 
+Pl390::~Pl390()
+{
+    for (int x = 0; x < CPU_MAX; x++)
+        delete postIntEvent[x];
+}
+
 Tick
 Pl390::read(PacketPtr pkt)
 {
diff --git a/src/dev/arm/gic_pl390.hh b/src/dev/arm/gic_pl390.hh
index 05c9b5f707..5c8a71222f 100644
--- a/src/dev/arm/gic_pl390.hh
+++ b/src/dev/arm/gic_pl390.hh
@@ -365,6 +365,7 @@ class Pl390 : public BaseGic, public BaseGicRegisters
         return dynamic_cast<const Params *>(_params);
     }
     Pl390(const Params *p);
+    ~Pl390();
 
     DrainState drain() override;