Decoupling Architectural-specific Code (#35)

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

diff --git a/lunaix-os/kernel/spike.c b/lunaix-os/kernel/spike.c
index 91f597db4b5055c2e890785906bde3a9f8b3aa21..86eaf94ce67d83acac371388ac541c838369a3ce 100644 (file)
--- a/lunaix-os/kernel/spike.c
+++ b/lunaix-os/kernel/spike.c
@@ -1,19 +1,26 @@
+#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 failed (%s:%u)", expr, file, line);
+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();
+}
 
-    // 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
-}
\ No newline at end of file
+void noret
+panick(const char* msg)
+{
+    cpu_trap_panic(msg);
+    spin();
+}