Changes in kernel/generic/src/ipc/ops/debug.c [fafb8e5:5a5269d] in mainline

File:

• kernel/generic/src/ipc/ops/debug.c (modified) (1 diff)

kernel/generic/src/ipc/ops/debug.c

@@ -47 +47 @@
 {
         if (answer->buffer) {
-                uintptr_t dst = ipc_get_arg1(&answer->data);
+                uspace_addr_t dst = ipc_get_arg1(&answer->data);
                 size_t size = ipc_get_arg2(&answer->data);
                 errno_t rc;
 
-                rc = copy_to_uspace((void *) dst, answer->buffer, size);
+                rc = copy_to_uspace(dst, answer->buffer, size);
                 if (rc)
                         ipc_set_retval(&answer->data, rc);