1 files changed, 1 insertions, 0 deletions
diff --git a/src/mem5.c b/src/mem5.c
index 02f665e9c..1dbdad851 100644
--- a/src/mem5.c
+++ b/src/mem5.c
@@ -472,6 +472,7 @@ static int memsys5Init(void *NotUsed){
 */
 static void memsys5Shutdown(void *NotUsed){
   UNUSED_PARAMETER(NotUsed);
+  mem5.mutex = 0;
   return;
 }