Changes in kernel/generic/src/ipc/ops/stchngath.c [1b20da0:eadaeae8] in mainline

File:

• kernel/generic/src/ipc/ops/stchngath.c (modified) (2 diffs)

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

@@ -45 +45 @@
         task_t *other_task_s;
 
-        kobject_t *sender_obj = kobject_get(TASK, IPC_GET_ARG5(call->data),
-            KOBJECT_TYPE_PHONE);
+        kobject_t *sender_obj = kobject_get(TASK,
+            (cap_handle_t) IPC_GET_ARG5(call->data), KOBJECT_TYPE_PHONE);
         if (!sender_obj)
                 return ENOENT;
@@ -78 +78 @@
 
                 kobject_t *recipient_obj = kobject_get(TASK,
-                    IPC_GET_ARG1(answer->data), KOBJECT_TYPE_PHONE);
+                    (cap_handle_t) IPC_GET_ARG1(answer->data),
+                    KOBJECT_TYPE_PHONE);
                 if (!recipient_obj) {
                         IPC_SET_RETVAL(answer->data, ENOENT);