Changeset 431c402 in mainline for kernel/generic/src/ipc/irq.c

Timestamp:

2017-09-04T20:08:28Z (8 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

e5f5ce0

Parents:

fa32c9f

Message:

Create a slab cache for allocating irq_t structures

File:

• kernel/generic/src/ipc/irq.c (modified) (2 diffs)

kernel/generic/src/ipc/irq.c

@@ -308 +308 @@
                 return handle;
         
-        irq_t *irq = (irq_t *) malloc(sizeof(irq_t), FRAME_ATOMIC);
+        irq_t *irq = (irq_t *) slab_alloc(irq_slab, FRAME_ATOMIC);
         if (!irq) {
                 cap_free(TASK, handle);
@@ -384 +384 @@
         
         /* Free up the IRQ capability and the underlying kernel object. */
-        free(cap->kobject);
+        slab_free(irq_slab, cap->kobject);
         cap_free(TASK, handle);