make log a bit verbose for some useful information

[lunaix-os.git] / lunaix-os / kernel / spike.c

diff --git a/lunaix-os/kernel/spike.c b/lunaix-os/kernel/spike.c
index 67f9abe07eaa402d55df61d72169c644601ee03e..e1983df04f74830678baac8e42eddb6d2546e694 100644 (file)
--- a/lunaix-os/kernel/spike.c
+++ b/lunaix-os/kernel/spike.c
@@ -1,38 +1,19 @@
-#include <klibc/stdio.h>
+#include <klibc/strfmt.h>

 #include <lunaix/spike.h>
 #include <lunaix/spike.h>

-#include <sys/interrupts.h>
+#include <lunaix/hart_state.h>
+#include <lunaix/syslog.h>
+#include <lunaix/trace.h>
+#include <lunaix/failsafe.h>

 
 

-static char buffer[1024];
-
-void
-__assert_fail(const char* expr, const char* file, unsigned int line)
-{
-    ksprintf(buffer, "%s (%s:%u)", expr, file, line);
-
-    // Here we load the buffer's address into %edi ("D" constraint)
-    //  This is a convention we made that the LUNAIX_SYS_PANIC syscall will
-    //  print the panic message passed via %edi. (see
-    //  kernel/asm/x86/interrupts.c)
-    cpu_trap_panic(buffer);
-
-    DO_SPIN // never reach
-}
+LOG_MODULE("spike")

 
 void noret
 
 void noret

-panick(const char* msg)
-{
-    cpu_trap_panic(msg);
-    DO_SPIN
-}
-
-void
-panickf(const char* fmt, ...)
+__assert_fail(const char* expr, const char* file, unsigned int line)

 {
 {

-    va_list args;
-    va_start(args, fmt);
-    __ksprintf_internal(buffer, fmt, 1024, args);
-    va_end(args);
-
-    asm("int %0" ::"i"(LUNAIX_SYS_PANIC), "D"(buffer));
-    DO_SPIN
-}
+    // Don't do another trap, print it right-away, allow
+    //  the stack context being preserved
+    cpu_disable_interrupt();
+    ERROR("assertion fail (%s:%u)\n\t%s", file, line, expr);
+    
+    failsafe_diagnostic();
+}
\ No newline at end of file