-#include <arch/x86/interrupts.h>
-#include <klibc/stdio.h>
+#include <klibc/strfmt.h>
#include <lunaix/spike.h>
+#include <lunaix/hart_state.h>
+#include <lunaix/syslog.h>
+#include <lunaix/trace.h>
+#include <lunaix/failsafe.h>
-static char buffer[1024];
+#include <asm/cpu.h>
-void
-__assert_fail(const char* expr, const char* file, unsigned int line)
-{
- sprintf(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)
- asm("int %0" ::"i"(LUNAIX_SYS_PANIC), "D"(buffer));
+LOG_MODULE("spike")
- spin(); // never reach
-}
-
-void
-panick(const char* msg)
+void noret
+__assert_fail(const char* expr, const char* file, unsigned int line)
{
- asm("int %0" ::"i"(LUNAIX_SYS_PANIC), "D"(msg));
- 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