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

File:

• kernel/generic/src/ipc/ops/datawrite.c (modified) (3 diffs)

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

@@ -43 +43 @@
 static errno_t request_preprocess(call_t *call, phone_t *phone)
 {
-        uintptr_t src = ipc_get_arg1(&call->data);
+        uspace_addr_t src = ipc_get_arg1(&call->data);
         size_t size = ipc_get_arg2(&call->data);
 
@@ -59 +59 @@
         if (!call->buffer)
                 return ENOMEM;
-        errno_t rc = copy_from_uspace(call->buffer, (void *) src, size);
+        errno_t rc = copy_from_uspace(call->buffer, src, size);
         if (rc != EOK) {
                 /*
@@ -77 +77 @@
         if (!ipc_get_retval(&answer->data)) {
                 /* The recipient agreed to receive data. */
-                uintptr_t dst = (uintptr_t)ipc_get_arg1(&answer->data);
-                size_t size = (size_t)ipc_get_arg2(&answer->data);
-                size_t max_size = (size_t)ipc_get_arg2(olddata);
+                uspace_addr_t dst = ipc_get_arg1(&answer->data);
+                size_t size = ipc_get_arg2(&answer->data);
+                size_t max_size = ipc_get_arg2(olddata);
 
                 if (size <= max_size) {
-                        errno_t rc = copy_to_uspace((void *) dst,
+                        errno_t rc = copy_to_uspace(dst,
                             answer->buffer, size);
                         if (rc)