diff --git a/src/dev/arm/rtc_pl031.cc b/src/dev/arm/rtc_pl031.cc
index 4895b1d4f4..8896b16ebc 100644
--- a/src/dev/arm/rtc_pl031.cc
+++ b/src/dev/arm/rtc_pl031.cc
@@ -52,8 +52,8 @@ using namespace AmbaDev;
 
 PL031::PL031(Params *p)
     : AmbaIntDevice(p), timeVal(mkutctime(&p->time)), lastWrittenTick(0),
-            loadVal(0), matchVal(0), rawInt(false), pendingInt(false),
-            matchEvent(this)
+            loadVal(0), matchVal(0), rawInt(false), maskInt(false),
+            pendingInt(false), matchEvent(this)
 {
     pioSize = 0xfff;
 }