Changes in kernel/arch/mips32/src/exception.c [63e27ef:b2fa1204] in mainline

File:

• kernel/arch/mips32/src/exception.c (modified) (2 diffs)

kernel/arch/mips32/src/exception.c

@@ -38 +38 @@
 #include <panic.h>
 #include <arch/cp0.h>
+#include <typedefs.h>
 #include <arch.h>
-#include <assert.h>
+#include <debug.h>
 #include <proc/thread.h>
 #include <print.h>
@@ -120 +121 @@
 {
         if (*((uint32_t *) istate->epc) == 0x7c03e83b) {
-                assert(THREAD);
+                ASSERT(THREAD);
                 istate->epc += 4;
                 istate->v1 = istate->kt1;