diff --git a/src/arch/arm/faults.cc b/src/arch/arm/faults.cc
index 9b3657909..8428931a7 100644
--- a/src/arch/arm/faults.cc
+++ b/src/arch/arm/faults.cc
@@ -141,6 +141,7 @@ ArmFaultBase::invoke(ThreadContext *tc)
     Addr newPc = getVector(tc) | (sctlr.te ? (ULL(1) << PcTBitShift) : 0);
     tc->setPC(newPc);
     tc->setNextPC(newPc + cpsr.t ? 2 : 4 );
+    tc->setMicroPC(0);
 }
 
 #else