Changeset 88db88d in mainline for kernel/generic/src/ipc/ipcrsc.c

Timestamp:

2017-08-20T17:26:12Z (7 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

8a45bf09

Parents:

e68765e

Message:

Do not access the capability table directly in phone_alloc()

File:

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

kernel/generic/src/ipc/ipcrsc.c

@@ -206 +206 @@
         if (handle >= 0) {
                 irq_spinlock_lock(&task->lock, true);
-                cap_t *cap = &task->caps[handle];
+                cap_t *cap = cap_get(task, handle, CAP_TYPE_ALLOCATED);
                 ipc_phone_init(&cap->phone, task);
                 cap->type = CAP_TYPE_PHONE;