Index: arch/mips/src/exception.c
===================================================================
--- arch/mips/src/exception.c	(revision 3e1607ff14f3c949def02159362bdb45145e5bc7)
+++ arch/mips/src/exception.c	(revision de25b6f1041f235871f2c6ea0830caa7be2d4449)
@@ -33,4 +33,5 @@
 #include <arch/types.h>
 #include <arch.h>
+#include <debug.h>
 
 void exception(void)
@@ -40,4 +41,6 @@
 	__u32 epc_shift = 0;
 	pri_t pri;
+
+	ASSERT(CPU != NULL);
 
 	/*