diff --git a/util/systemc/sc_module.cc b/util/systemc/sc_module.cc
index a47df8194..71b3b5fbb 100644
--- a/util/systemc/sc_module.cc
+++ b/util/systemc/sc_module.cc
@@ -140,6 +140,7 @@ void
 Module::serviceAsyncEvent()
 {
     EventQueue *eventq = getEventQueue(0);
+    std::lock_guard<EventQueue> lock(*eventq);
 
     assert(async_event);