Changes in kernel/generic/src/udebug/udebug_ipc.c [96b02eb9:3698e44] in mainline

File:

• kernel/generic/src/udebug/udebug_ipc.c (modified) (6 diffs)

kernel/generic/src/udebug/udebug_ipc.c

@@ -210 +210 @@
 static void udebug_receive_name_read(call_t *call)
 {
-        sysarg_t uspace_addr;
-        sysarg_t to_copy;
+        unative_t uspace_addr;
+        unative_t to_copy;
         size_t data_size;
         size_t buf_size;
@@ -257 +257 @@
 static void udebug_receive_areas_read(call_t *call)
 {
-        sysarg_t uspace_addr;
-        sysarg_t to_copy;
+        unative_t uspace_addr;
+        unative_t to_copy;
         size_t data_size;
         size_t buf_size;
@@ -304 +304 @@
 {
         thread_t *t;
-        sysarg_t uspace_addr;
+        unative_t uspace_addr;
         int rc;
         void *buffer;
@@ -328 +328 @@
            (no way to distinguish method in answer) */
         IPC_SET_ARG1(call->data, uspace_addr);
-        IPC_SET_ARG2(call->data, 6 * sizeof(sysarg_t));
+        IPC_SET_ARG2(call->data, 6 * sizeof(unative_t));
         call->buffer = buffer;
 
@@ -341 +341 @@
 {
         thread_t *t;
-        sysarg_t uspace_addr;
-        sysarg_t to_copy;
+        unative_t uspace_addr;
+        unative_t to_copy;
         void *buffer;
         int rc;
@@ -382 +382 @@
 static void udebug_receive_mem_read(call_t *call)
 {
-        sysarg_t uspace_dst;
-        sysarg_t uspace_src;
+        unative_t uspace_dst;
+        unative_t uspace_src;
         unsigned size;
         void *buffer;