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

Changeset 63d8f43 in mainline for kernel/generic/src/cap/cap.c


Ignore:
Timestamp:
2017-09-04T19:38:28Z (3 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
master
Children:
fa32c9f
Parents:
30c27e9
Message:

Allocate the kobjects referenced by capabilities dynamically

File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/generic/src/cap/cap.c

    r30c27e9 r63d8f43  
    102102        assert(handle >= 0);
    103103        assert(handle < MAX_CAPS);
    104         assert(task->caps[handle].type != CAP_TYPE_INVALID);
     104        assert(task->caps[handle].type == CAP_TYPE_ALLOCATED);
    105105
    106106        irq_spinlock_lock(&task->lock, true);
Note: See TracChangeset for help on using the changeset viewer.