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

File:

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

kernel/arch/abs32le/src/abs32le.c

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