Changes in kernel/generic/src/ipc/kbox.c [334c103:eadaeae8] in mainline

File:

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

kernel/generic/src/ipc/kbox.c

@@ -210 +210 @@
  *
  */
-errno_t ipc_connect_kbox(task_id_t taskid, cap_handle_t *out_phone)
+errno_t ipc_connect_kbox(task_id_t taskid, cap_phone_handle_t *out_phone)
 {
         irq_spinlock_lock(&tasks_lock, true);
@@ -252 +252 @@
 
         /* Allocate a new phone. */
-        cap_handle_t phone_handle;
+        cap_phone_handle_t phone_handle;
         errno_t rc = phone_alloc(TASK, true, &phone_handle, NULL);
         if (rc != EOK) {