diff --git a/headers/private/kernel/arch/user_debugger.h b/headers/private/kernel/arch/user_debugger.h
index eb0bfc3b24..8f1fa369b1 100644
--- a/headers/private/kernel/arch/user_debugger.h
+++ b/headers/private/kernel/arch/user_debugger.h
@@ -12,9 +12,12 @@ extern "C" {
 #endif
 
 struct arch_team_debug_info;
+struct arch_thread_debug_info;
 
 void arch_clear_team_debug_info(struct arch_team_debug_info *info);
 void arch_destroy_team_debug_info(struct arch_team_debug_info *info);
+void arch_clear_thread_debug_info(struct arch_thread_debug_info *info);
+void arch_destroy_thread_debug_info(struct arch_thread_debug_info *info);
 
 void arch_set_debug_cpu_state(const struct debug_cpu_state *cpuState);
 void arch_get_debug_cpu_state(struct debug_cpu_state *cpuState);