Changes in kernel/generic/include/udebug/udebug_ops.h [9d58539:b2a1fd92] in mainline

File:

• kernel/generic/include/udebug/udebug_ops.h (modified) (1 diff)

kernel/generic/include/udebug/udebug_ops.h ¶

@@ -37 +37 @@
 
 #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);