From 8d56145d7b6f759456993b63692165d4b510adda Mon Sep 17 00:00:00 2001
From: Ali Saidi <saidi@eecs.umich.edu>
Date: Mon, 30 Apr 2007 22:49:21 -0400
Subject: [PATCH] always skip the debugprintf function (DebugPrintf traceflag
 shouldn't matter). Otherwise, when you turn on debugprintf alters the
 execution

--HG--
extra : convert_revision : 1c9a665e3b7234cacf06c31d2e7886244a9e82bc
---
 src/kern/linux/events.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kern/linux/events.cc b/src/kern/linux/events.cc
index ba52e040a..4a3fd9f47 100644
--- a/src/kern/linux/events.cc
+++ b/src/kern/linux/events.cc
@@ -51,8 +51,8 @@ DebugPrintkEvent::process(ThreadContext *tc)
 
         TheISA::Arguments args(tc);
         Printk(args);
-        SkipFuncEvent::process(tc);
     }
+    SkipFuncEvent::process(tc);
 }
 
 } // namespace linux
-- 
2.30.2