Index: kernel/generic/include/udebug/udebug_ops.h
===================================================================
--- kernel/generic/include/udebug/udebug_ops.h	(revision c06994673347954891a57710998cf1e087a59e8b)
+++ kernel/generic/include/udebug/udebug_ops.h	(revision 6abda24212d4dfc294e7d6f4a21effbe6f6c7e5b)
@@ -37,6 +37,9 @@
 
 #include <ipc/ipc.h>
+#include <proc/thread.h>
+#include <stdbool.h>
+#include <stddef.h>
 
-int udebug_begin(call_t *call);
+int udebug_begin(call_t *call, bool *active);
 int udebug_end(void);
 int udebug_set_evmask(udebug_evmask_t mask);