diff --git a/headers/private/kernel/arch/user_debugger.h b/headers/private/kernel/arch/user_debugger.h
index ad2e2331e8..eb0bfc3b24 100644
--- a/headers/private/kernel/arch/user_debugger.h
+++ b/headers/private/kernel/arch/user_debugger.h
@@ -5,6 +5,29 @@
 #ifndef KERNEL_ARCH_USER_DEBUGGER_H
 #define KERNEL_ARCH_USER_DEBUGGER_H
 
+#include <debugger.h>
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+struct arch_team_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_set_debug_cpu_state(const struct debug_cpu_state *cpuState);
 void arch_get_debug_cpu_state(struct debug_cpu_state *cpuState);
 
+status_t arch_set_breakpoint(void *address);
+status_t arch_clear_breakpoint(void *address);
+status_t arch_set_watchpoint(void *address, uint32 type, int32 length);
+status_t arch_clear_watchpoint(void *address);
+
+#ifdef __cplusplus
+}
+#endif
+
+#include <arch_user_debugger.h>
+
 #endif	// KERNEL_ARCH_USER_DEBUGGER_H