Changes in kernel/generic/include/udebug/udebug_ops.h [b7fd2a0:9d58539] 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>
 
-errno_t udebug_begin(call_t *call, bool *active);
-errno_t udebug_end(void);
-errno_t udebug_set_evmask(udebug_evmask_t mask);
+int udebug_begin(call_t *call);
+int udebug_end(void);
+int udebug_set_evmask(udebug_evmask_t mask);
 
-errno_t udebug_go(thread_t *t, call_t *call);
-errno_t udebug_stop(thread_t *t, call_t *call);
+int udebug_go(thread_t *t, call_t *call);
+int udebug_stop(thread_t *t, call_t *call);
 
-errno_t udebug_thread_read(void **buffer, size_t buf_size, size_t *stored,
+int udebug_thread_read(void **buffer, size_t buf_size, size_t *stored,
     size_t *needed);
-errno_t udebug_name_read(char **data, size_t *data_size);
-errno_t udebug_args_read(thread_t *t, void **buffer);
+int udebug_name_read(char **data, size_t *data_size);
+int udebug_args_read(thread_t *t, void **buffer);
 
-errno_t udebug_regs_read(thread_t *t, void **buffer);
+int udebug_regs_read(thread_t *t, void **buffer);
 
-errno_t udebug_mem_read(sysarg_t uspace_addr, size_t n, void **buffer);
+int udebug_mem_read(sysarg_t uspace_addr, size_t n, void **buffer);
 
 #endif