X-Git-Url: https://scm.lunaixsky.com/lunaix-os.git/blobdiff_plain/4c6d990440cdba6c7dd294adb7e435770ffcbcc4..a35bb9648f1a9eddb071a50ff6a4dcdb8f379f24:/lunaix-os/kernel/spike.c

diff --git a/lunaix-os/kernel/spike.c b/lunaix-os/kernel/spike.c
index 8f42660..e1983df 100644
--- a/lunaix-os/kernel/spike.c
+++ b/lunaix-os/kernel/spike.c
@@ -1,19 +1,19 @@
+#include <klibc/strfmt.h>
 #include <lunaix/spike.h>
-#include <arch/x86/interrupts.h>
-#include <libc/stdio.h>
+#include <lunaix/hart_state.h>
+#include <lunaix/syslog.h>
+#include <lunaix/trace.h>
+#include <lunaix/failsafe.h>
 
-static char buffer[1024];
+LOG_MODULE("spike")
 
-void __assert_fail(const char* expr, const char* file, unsigned int line) {
-    sprintf(buffer, "[ASSERT] %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)
-    asm(
-        "int %0"
-        ::"i"(LUNAIX_SYS_PANIC), "D"(buffer)
-    );
-
-    spin();     // never reach
+void noret
+__assert_fail(const char* expr, const char* file, unsigned int line)
+{
+    // 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