diff -r 4b872fdba3af -r c0686acbf0d4 src/sim/eventq.cc
--- a/src/sim/eventq.cc	Thu Dec 26 15:18:58 2013 -0600
+++ b/src/sim/eventq.cc	Sat Dec 28 19:54:54 2013 +0100
@@ -57,7 +57,8 @@
 //
 uint32_t numMainEventQueues = 0;
 vector<EventQueue *> mainEventQueue;
-__thread EventQueue *_curEventQueue = NULL;
+EventQueue dummyQueue("DummyEventQueue");
+__thread EventQueue *_curEventQueue = &dummyQueue;
 bool inParallelMode = false;
 
 EventQueue *