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

Timestamp:

2017-09-04T19:38:28Z (7 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

fa32c9f

Parents:

30c27e9

Message:

Allocate the kobjects referenced by capabilities dynamically

File:

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

kernel/generic/src/cap/cap.c

@@ -102 +102 @@
         assert(handle >= 0);
         assert(handle < MAX_CAPS);
-        assert(task->caps[handle].type != CAP_TYPE_INVALID);
+        assert(task->caps[handle].type == CAP_TYPE_ALLOCATED);
 
         irq_spinlock_lock(&task->lock, true);