Index: kernel/generic/include/udebug/udebug.h
===================================================================
--- kernel/generic/include/udebug/udebug.h	(revision a074b4f9d5cf65707ae3aaffaf4564453f710efd)
+++ kernel/generic/include/udebug/udebug.h	(revision 0d21b534cf29b9b695f324a08426ec17d8c12aa5)
@@ -218,4 +218,5 @@
 
 int udebug_task_cleanup(struct task *ta);
+void udebug_thread_fault(void);
 
 #endif