diff --git a/src/dev/arm/vgic.cc b/src/dev/arm/vgic.cc
index 60866f1f47..6744ad513e 100644
--- a/src/dev/arm/vgic.cc
+++ b/src/dev/arm/vgic.cc
@@ -60,6 +60,12 @@ VGic::VGic(const Params *p)
     assert(sys->numRunningContexts() <= VGIC_CPU_MAX);
 }
 
+VGic::~VGic()
+{
+    for (int x = 0; x < VGIC_CPU_MAX; x++)
+        delete postVIntEvent[x];
+}
+
 Tick
 VGic::read(PacketPtr pkt)
 {
diff --git a/src/dev/arm/vgic.hh b/src/dev/arm/vgic.hh
index 8328673d59..e9bc29c18e 100644
--- a/src/dev/arm/vgic.hh
+++ b/src/dev/arm/vgic.hh
@@ -206,6 +206,7 @@ class VGic : public PioDevice
         return dynamic_cast<const Params *>(_params);
     }
     VGic(const Params *p);
+    ~VGic();
 
     AddrRangeList getAddrRanges() const override;