Changes in kernel/generic/src/ipc/ipcrsc.c [b7fd2a0:cde999a] in mainline

File:

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

kernel/generic/src/ipc/ipcrsc.c

@@ -170 +170 @@
  * @return  An error code if a new capability cannot be allocated.
  */
-errno_t phone_alloc(task_t *task, cap_handle_t *out_handle)
+int phone_alloc(task_t *task, cap_handle_t *out_handle)
 {
         cap_handle_t handle;
-        errno_t rc = cap_alloc(task, &handle);
+        int rc = cap_alloc(task, &handle);
         if (rc == EOK) {
                 phone_t *phone = slab_alloc(phone_cache, FRAME_ATOMIC);