Changes in uspace/lib/c/include/udebug.h [79ae36dd:9c81703] in mainline

File:

• uspace/lib/c/include/udebug.h (modified) (1 diff)

uspace/lib/c/include/udebug.h

@@ -38 +38 @@
 #include <kernel/udebug/udebug.h>
 #include <sys/types.h>
-#include <async.h>
 
 typedef sysarg_t thash_t;
 
-extern int udebug_begin(async_sess_t *);
-extern int udebug_end(async_sess_t *);
-extern int udebug_set_evmask(async_sess_t *, udebug_evmask_t);
-extern int udebug_thread_read(async_sess_t *, void *, size_t , size_t *,
-    size_t *);
-extern int udebug_name_read(async_sess_t *, void *, size_t, size_t *,
-    size_t *);
-extern int udebug_areas_read(async_sess_t *, void *, size_t, size_t *,
-    size_t *);
-extern int udebug_mem_read(async_sess_t *, void *, uintptr_t, size_t);
-extern int udebug_args_read(async_sess_t *, thash_t, sysarg_t *);
-extern int udebug_regs_read(async_sess_t *, thash_t, void *);
-extern int udebug_go(async_sess_t *, thash_t, udebug_event_t *, sysarg_t *,
-    sysarg_t *);
-extern int udebug_stop(async_sess_t *, thash_t);
+int udebug_begin(int);
+int udebug_end(int);
+int udebug_set_evmask(int, udebug_evmask_t);
+int udebug_thread_read(int, void *, size_t , size_t *, size_t *);
+int udebug_name_read(int, void *, size_t, size_t *, size_t *);
+int udebug_areas_read(int, void *, size_t, size_t *, size_t *);
+int udebug_mem_read(int, void *, uintptr_t, size_t);
+int udebug_args_read(int, thash_t, sysarg_t *);
+int udebug_regs_read(int, thash_t, void *);
+int udebug_go(int, thash_t, udebug_event_t *, sysarg_t *, sysarg_t *);
+int udebug_stop(int, thash_t);
 
 #endif