Changeset 63e27ef in mainline for kernel/generic/src/ipc/irq.c

Timestamp:

2017-06-19T21:47:42Z (7 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

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

Children:

deacc58d

Parents:

7354b5e

Message:

ASSERT → assert

File:

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

kernel/generic/src/ipc/irq.c

@@ -72 +72 @@
 
 #include <arch.h>
+#include <assert.h>
 #include <mm/slab.h>
 #include <mm/page.h>
@@ -399 +400 @@
         irq_spinlock_lock(&box->irq_lock, false);
         
-        ASSERT(irq->notif_cfg.answerbox == box);
+        assert(irq->notif_cfg.answerbox == box);
         
         /* Remove the IRQ from the answerbox's list. */
@@ -463 +464 @@
                 key[1] = irq->devno;
                 
-                ASSERT(irq->notif_cfg.answerbox == box);
+                assert(irq->notif_cfg.answerbox == box);
                 
                 /* Unlist from the answerbox. */
@@ -607 +608 @@
 void ipc_irq_top_half_handler(irq_t *irq)
 {
-        ASSERT(irq);
-        
-        ASSERT(interrupts_disabled());
-        ASSERT(irq_spinlock_locked(&irq->lock));
+        assert(irq);
+        
+        assert(interrupts_disabled());
+        assert(irq_spinlock_locked(&irq->lock));
         
         if (irq->notif_cfg.answerbox) {