always skip the debugprintf function (DebugPrintf traceflag shouldn't matter). Otherw...

--HG--
extra : convert_revision : 1c9a665e3b7234cacf06c31d2e7886244a9e82bc

diff --git a/src/kern/linux/events.cc b/src/kern/linux/events.cc
index ba52e040ae9ce52b6eaa1d38eb5172da73ae29f6..4a3fd9f47561d31ca9d58acf89913f3552617838 100644 (file)
--- 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