Changes in kernel/arch/mips32/src/exception.c [b2fa1204:63e27ef] 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 <debug.h>
+#include <assert.h>
 #include <proc/thread.h>
 #include <print.h>
@@ -121 +120 @@
 {
         if (*((uint32_t *) istate->epc) == 0x7c03e83b) {
-                ASSERT(THREAD);
+                assert(THREAD);
                 istate->epc += 4;
                 istate->v1 = istate->kt1;