- va_start (args, format);
- vprintk (format, args);
- printk ("\n");
+#ifdef KERNEL
+ printf ("Kernel PANIC at %s:%d in %s(): ", file, line, function);
+#else
+ printf ("User process panic at %s:%d in %s(): ", file, line, function);
+#endif
+
+ va_start (args, message);
+ vprintf (message, args);
+ printf ("\n");