panic is no longer used anywhere in minios

diff --git a/console/console.c b/console/console.c
index 3756220b440aed258aa007cb170bfb49d0060608..ec5e7a8c77218a8d321893f21b7c90f5cb345abc 100644 (file)
--- a/console/console.c
+++ b/console/console.c
@@ -159,13 +159,3 @@ void init_console(void)
     /* This is also required to notify the daemon */
     printk("done.\n");
 }
-
-void
-panic(const char *fmt, ...)
-{
-    va_list       args;
-    va_start(args, fmt);
-    print(0, fmt, args);
-    va_end(args);        
-    do_exit();
-}