diff --git a/src/system/kernel/util/kernel_cpp.cpp b/src/system/kernel/util/kernel_cpp.cpp
index ca5e44e7e92..ad2b50b49c4 100644
--- a/src/system/kernel/util/kernel_cpp.cpp
+++ b/src/system/kernel/util/kernel_cpp.cpp
@@ -254,17 +254,18 @@ abort()
 
 extern "C"
 void
-exit(int status)
+debugger(const char *message)
 {
-	panic("exit() called with status code = %d!", status);
+	kernel_debugger(message);
 }
 
+#endif	// _#if KERNEL_MODE
+
 
 extern "C"
 void
-debugger(const char *message)
+exit(int status)
 {
-	kernel_debugger(message);
+	panic("exit() called with status code = %d!", status);
 }
 
-#endif	// _#if KERNEL_MODE