Changes in kernel/arch/sparc64/src/smp/sun4u/ipi.c [63e27ef:cc106e4] in mainline

File:

• kernel/arch/sparc64/src/smp/sun4u/ipi.c (modified) (3 diffs)

kernel/arch/sparc64/src/smp/sun4u/ipi.c

@@ -35 +35 @@
 #include <smp/ipi.h>
 #include <arch/smp/sun4u/ipi.h>
-#include <assert.h>
 #include <cpu.h>
 #include <arch.h>
@@ -104 +103 @@
                 panic("Interrupt Dispatch Status busy bit set\n");
         
-        assert(!(pstate_read() & PSTATE_IE_BIT));
+        ASSERT(!(pstate_read() & PSTATE_IE_BIT));
         
         do {
@@ -186 +185 @@
 void ipi_unicast_arch(unsigned int cpu_id, int ipi)
 {
-        assert(&cpus[cpu_id] != CPU);
+        ASSERT(&cpus[cpu_id] != CPU);
         
         if (ipi == IPI_SMP_CALL) {