Changes in kernel/generic/src/smp/smp_call.c [25969ac:63e27ef] in mainline

File:

• kernel/generic/src/smp/smp_call.c (modified) (4 diffs)

kernel/generic/src/smp/smp_call.c

@@ -40 +40 @@
 #include <arch/asm.h>  /* interrupt_disable */
 #include <arch.h>
+#include <assert.h>
 #include <config.h>
 #include <preemption.h>
-#include <debug.h>
 #include <cpu.h>
 
@@ -53 +53 @@
 void smp_call_init(void)
 {
-        ASSERT(CPU);
-        ASSERT(PREEMPTION_DISABLED || interrupts_disabled());
+        assert(CPU);
+        assert(PREEMPTION_DISABLED || interrupts_disabled());
         
         spinlock_initialize(&CPU->smp_calls_lock, "cpu[].smp_calls_lock");
@@ -131 +131 @@
          * for an acknowledgment of the IPI from the other cpu.
          */
-        ASSERT(!interrupts_disabled());
-        ASSERT(call_info != NULL);
+        assert(!interrupts_disabled());
+        assert(call_info != NULL);
         
         /* Discard invalid calls. */
@@ -207 +207 @@
 void smp_call_ipi_recv(void)
 {
-        ASSERT(interrupts_disabled());
-        ASSERT(CPU);
+        assert(interrupts_disabled());
+        assert(CPU);
         
         list_t calls_list;