- // print the panic message passed via %edi. (see kernel/asm/x86/interrupts.c)
- asm(
- "int %0"
- ::"i"(LUNAIX_SYS_PANIC), "D"(buffer)
- );
+ // 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
+panick(const char* msg)
+{
+ asm("int %0" ::"i"(LUNAIX_SYS_PANIC), "D"(msg));
+ spin();
+}
+
+void
+panickf(const char* fmt, ...)
+{
+ va_list args;
+ va_start(args, fmt);
+ __ksprintf_internal(buffer, fmt, 1024, args);
+ va_end(args);