diff --git a/src/kern/system_events.cc b/src/kern/system_events.cc
index d4dd79279a..e865be56c7 100644
--- a/src/kern/system_events.cc
+++ b/src/kern/system_events.cc
@@ -28,15 +28,12 @@
 
 #include "kern/system_events.hh"
 
-#include "arch/isa_traits.hh"
 #include "arch/utility.hh"
 #include "base/trace.hh"
 #include "config/the_isa.hh"
 #include "cpu/thread_context.hh"
 #include "debug/PCEvent.hh"
 
-using namespace TheISA;
-
 void
 SkipFuncEvent::process(ThreadContext *tc)
 {
diff --git a/src/kern/system_events.hh b/src/kern/system_events.hh
index 912a505e1c..83ed37fb68 100644
--- a/src/kern/system_events.hh
+++ b/src/kern/system_events.hh
@@ -37,7 +37,7 @@ class SkipFuncEvent : public PCEvent
     SkipFuncEvent(PCEventScope *s, const std::string &desc, Addr addr)
         : PCEvent(s, desc, addr)
     {}
-    virtual void process(ThreadContext *tc);
+    void process(ThreadContext *tc) override;
 };
 
 #endif // __SYSTEM_EVENTS_HH__