7 #include "threads/init.h"
8 #include "threads/interrupt.h"
9 #include "devices/serial.h"
11 /* Halts the OS, printing the source file name, line number, and
12 function name, plus a user-specific message. */
14 debug_panic (const char *file, int line, const char *function,
15 const char *message, ...)
25 printf ("Kernel PANIC at %s:%d in %s(): ", file, line, function);
27 va_start (args, message);
28 vprintf (message, args);
35 printf ("Kernel PANIC recursion at %s:%d in %s().\n",
36 file, line, function);
39 /* Don't print anything: that's probably why we recursed. */
43 if (power_off_when_done)