Changes in kernel/arch/abs32le/src/abs32le.c [d99c1d2:4fe907b9] in mainline

File:

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

kernel/arch/abs32le/src/abs32le.c

@@ -114 +114 @@
 }
 
-void panic_printf(const char *fmt, ...)
+void istate_decode(istate_t *istate)
 {
-        va_list args;
-        
-        va_start(args, fmt);
-        vprintf(fmt, args);
-        va_end(args);
-        
-        halt();
+        (void) istate;
 }