Changes in kernel/generic/include/udebug/udebug_ops.h [9a1b20c:336db295] in mainline

File:

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

kernel/generic/include/udebug/udebug_ops.h

@@ -45 +45 @@
 int udebug_stop(thread_t *t, call_t *call);
 
-int udebug_thread_read(void **buffer, size_t buf_size, size_t *n);
+int udebug_thread_read(void **buffer, size_t buf_size, size_t *stored,
+    size_t *needed);
 int udebug_args_read(thread_t *t, void **buffer);