summaryrefslogtreecommitdiff
path: root/src/console/die.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/console/die.c')
-rw-r--r--src/console/die.c16
1 files changed, 7 insertions, 9 deletions
diff --git a/src/console/die.c b/src/console/die.c
index 513d1c4097..3a17126264 100644
--- a/src/console/die.c
+++ b/src/console/die.c
@@ -30,17 +30,15 @@ __weak void die_notify(void)
}
/* Report a fatal error */
-void __noreturn die(const char *msg)
+void __noreturn die(const char *fmt, ...)
{
- printk(BIOS_EMERG, "%s", msg);
+ va_list args;
+
+ va_start(args, fmt);
+ vprintk(BIOS_EMERG, fmt, args);
+ va_end(args);
+
die_notify();
halt();
}
-
-/* Report a fatal error with a post code */
-void __noreturn die_with_post_code(uint8_t value, const char *msg)
-{
- post_code(value);
- die(msg);
-}
#endif