Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 88db88d in mainline


Ignore:
Timestamp:
2017-08-20T17:26:12Z (3 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
master
Children:
8a45bf09
Parents:
e68765e
Message:

Do not access the capability table directly in phone_alloc()

File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/generic/src/ipc/ipcrsc.c

    re68765e r88db88d  
    206206        if (handle >= 0) {
    207207                irq_spinlock_lock(&task->lock, true);
    208                 cap_t *cap = &task->caps[handle];
     208                cap_t *cap = cap_get(task, handle, CAP_TYPE_ALLOCATED);
    209209                ipc_phone_init(&cap->phone, task);
    210210                cap->type = CAP_TYPE_PHONE;
Note: See TracChangeset for help on using the changeset viewer.