Changes in kernel/arch/mips32/src/cache.c [7e752b2:f651e80] in mainline

File:

• kernel/arch/mips32/src/cache.c (modified) (1 diff)

kernel/arch/mips32/src/cache.c

@@ -39 +39 @@
 void cache_error(istate_t *istate)
 {
-        panic("cache_error exception (epc=%p).", (void *) istate->epc);
+        panic("cache_error exception (epc=%p).", istate->epc);
 }