Changeset 64b7854 in mainline for kernel/generic/src/udebug/udebug_ipc.c

Timestamp:

2019-06-20T13:47:03Z (6 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Children:

d7dfa05

Parents:

e39d7b8

Message:

Use uspace_addr_t instead of uspace_ptr(void)

File:

• kernel/generic/src/udebug/udebug_ipc.c (modified) (1 diff)

kernel/generic/src/udebug/udebug_ipc.c

@@ -398 +398 @@
 static void udebug_receive_mem_read(call_t *call)
 {
-        uspace_ptr(void) uspace_dst;
-        uspace_ptr(void) uspace_src;
+        uspace_addr_t uspace_dst;
+        uspace_addr_t uspace_src;
         unsigned size;
         void *buffer = NULL;