Changes in kernel/arch/sparc64/src/smp/sun4u/ipi.c [cc106e4:63e27ef] 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>
@@ -103 +104 @@
                 panic("Interrupt Dispatch Status busy bit set\n");
         
-        ASSERT(!(pstate_read() & PSTATE_IE_BIT));
+        assert(!(pstate_read() & PSTATE_IE_BIT));
         
         do {
@@ -185 +186 @@
 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) {