diff --git a/headers/private/kernel/arch/user_debugger.h b/headers/private/kernel/arch/user_debugger.h
new file mode 100644
index 0000000000..ad2e2331e8
--- /dev/null
+++ b/headers/private/kernel/arch/user_debugger.h
@@ -0,0 +1,10 @@
+/*
+ * Copyright 2005, Ingo Weinhold, bonefish@users.sf.net.
+ * Distributed under the terms of the MIT License.
+ */
+#ifndef KERNEL_ARCH_USER_DEBUGGER_H
+#define KERNEL_ARCH_USER_DEBUGGER_H
+
+void arch_get_debug_cpu_state(struct debug_cpu_state *cpuState);
+
+#endif	// KERNEL_ARCH_USER_DEBUGGER_H