Changes in uspace/lib/c/generic/udebug.c [64d2b10:63f8966] in mainline

File:

• uspace/lib/c/generic/udebug.c (modified) (5 diffs)

uspace/lib/c/generic/udebug.c

@@ -31 +31 @@
  */
 /** @file
- */
+ */ 
 
 #include <udebug.h>
 #include <sys/types.h>
+#include <ipc/ipc.h>
 #include <async.h>
 
@@ -56 +57 @@
         size_t *copied, size_t *needed)
 {
-        sysarg_t a_copied, a_needed;
+        ipcarg_t a_copied, a_needed;
         int rc;
 
@@ -71 +72 @@
         size_t *copied, size_t *needed)
 {
-        sysarg_t a_copied, a_needed;
+        ipcarg_t a_copied, a_needed;
         int rc;
 
@@ -86 +87 @@
         size_t *copied, size_t *needed)
 {
-        sysarg_t a_copied, a_needed;
+        ipcarg_t a_copied, a_needed;
         int rc;
 
@@ -119 +120 @@
     sysarg_t *val0, sysarg_t *val1)
 {
-        sysarg_t a_ev_type;
+        ipcarg_t a_ev_type;
         int rc;