diff --git a/headers/private/kernel/user_debugger.h b/headers/private/kernel/user_debugger.h
index e1b12adb26..02e977957f 100644
--- a/headers/private/kernel/user_debugger.h
+++ b/headers/private/kernel/user_debugger.h
@@ -193,7 +193,6 @@ extern "C" {
 // service calls
 
 void clear_team_debug_info(struct team_debug_info *info, bool initLock);
-void destroy_team_debug_info(struct team_debug_info *info);
 
 void init_thread_debug_info(struct thread_debug_info *info);
 void clear_thread_debug_info(struct thread_debug_info *info, bool dying);
diff --git a/src/system/kernel/debug/user_debugger.cpp b/src/system/kernel/debug/user_debugger.cpp
index bd745de3e3..948bbaa084 100644
--- a/src/system/kernel/debug/user_debugger.cpp
+++ b/src/system/kernel/debug/user_debugger.cpp
@@ -240,7 +240,7 @@ clear_team_debug_info(struct team_debug_info *info, bool initLock)
  *	4. release `lock'
  *	5. call destroy_team_debug_info() on the copied team debug info
  */
-void
+static void
 destroy_team_debug_info(struct team_debug_info *info)
 {
 	if (info) {