8 #include "threads/init.h"
9 #include "threads/interrupt.h"
10 #include "devices/serial.h"
12 /* Halts the OS, printing the source file name, line number, and
13 function name, plus a user-specific message. */
15 debug_panic (const char *file, int line, const char *function,
16 const char *message, ...)
27 printf ("Kernel PANIC at %s:%d in %s(): ", file, line, function);
29 va_start (args, message);
30 vprintf (message, args);
37 printf ("Kernel PANIC recursion at %s:%d in %s().\n",
38 file, line, function);
41 /* Don't print anything: that's probably why we recursed. */
45 if (power_off_when_done)