summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog2
-rw-r--r--ddb/db_command.c2
-rw-r--r--ddb/db_cond.c2
-rw-r--r--device/cirbuf.c2
-rw-r--r--device/cons.c2
-rw-r--r--device/dev_pager.c2
-rw-r--r--device/device_init.c2
-rw-r--r--device/ds_routines.c2
-rw-r--r--device/net_io.c2
-rw-r--r--device/subrs.c2
-rw-r--r--i386/i386/fpe_linkage.c2
-rw-r--r--i386/i386/fpu.c2
-rw-r--r--i386/i386/mp_desc.c2
-rw-r--r--i386/i386/pcb.c2
-rw-r--r--i386/i386/trap.c2
-rw-r--r--i386/i386at/kd.c2
-rw-r--r--i386/i386at/model_dep.c2
-rw-r--r--i386/intel/pmap.c2
-rw-r--r--ipc/ipc_mqueue.c2
-rw-r--r--ipc/ipc_object.c2
-rw-r--r--ipc/ipc_right.c2
-rw-r--r--ipc/mach_msg.c2
-rw-r--r--ipc/mach_port.c2
-rw-r--r--kern/act.c2
-rw-r--r--kern/ast.c2
-rw-r--r--kern/bootstrap.c2
-rw-r--r--kern/eventcount.c2
-rw-r--r--kern/exception.c2
-rw-r--r--kern/host.c2
-rw-r--r--kern/ipc_host.c2
-rw-r--r--kern/ipc_kobject.c2
-rw-r--r--kern/ipc_mig.c2
-rw-r--r--kern/ipc_sched.c2
-rw-r--r--kern/ipc_tt.c2
-rw-r--r--kern/kalloc.c2
-rw-r--r--kern/lock.c2
-rw-r--r--kern/mach_clock.c2
-rw-r--r--kern/machine.c2
-rw-r--r--kern/processor.c2
-rw-r--r--kern/sched_prim.c2
-rw-r--r--kern/server_loop.ch2
-rw-r--r--kern/startup.c2
-rw-r--r--kern/task.c2
-rw-r--r--kern/thread.c2
-rw-r--r--kern/thread_swap.c2
-rw-r--r--kern/xpr.c2
-rw-r--r--kern/zalloc.c2
-rw-r--r--vm/vm_debug.c2
-rw-r--r--vm/vm_fault.c2
-rw-r--r--vm/vm_kern.c2
-rw-r--r--vm/vm_map.c2
-rw-r--r--vm/vm_object.c2
-rw-r--r--vm/vm_object.h2
-rw-r--r--vm/vm_pageout.c2
-rw-r--r--vm/vm_resident.c2
55 files changed, 55 insertions, 55 deletions
diff --git a/ChangeLog b/ChangeLog
index 09ea854..461ba7f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -10,7 +10,7 @@
* kern/printf.h: ... here.
* kern/debug.h (panic_init, panic): Add prototypes.
* chips/busses.c: Don't include `printf.h', include `kern/printf.h'
- and `kern/debug.h'.
+ and `kern/debug.h' for panic().
* ddb/db_command.c: Likewise.
* ddb/db_cond.c: Likewise.
* ddb/db_output.c: Likewise.
diff --git a/ddb/db_command.c b/ddb/db_command.c
index 56bde0d..f4b8bec 100644
--- a/ddb/db_command.c
+++ b/ddb/db_command.c
@@ -44,7 +44,7 @@
#include <ddb/db_task_thread.h>
#include <machine/setjmp.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/thread.h>
#include <ipc/ipc_pset.h> /* 4proto */
#include <ipc/ipc_port.h> /* 4proto */
diff --git a/ddb/db_cond.c b/ddb/db_cond.c
index e968c5c..9440cb6 100644
--- a/ddb/db_cond.c
+++ b/ddb/db_cond.c
@@ -33,7 +33,7 @@
#include <ddb/db_break.h>
#include <ddb/db_command.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#define DB_MAX_COND 10 /* maximum conditions to be set */
diff --git a/device/cirbuf.c b/device/cirbuf.c
index 635f719..4fe2d89 100644
--- a/device/cirbuf.c
+++ b/device/cirbuf.c
@@ -32,7 +32,7 @@
#include <string.h>
#include <device/cirbuf.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/kalloc.h>
diff --git a/device/cons.c b/device/cons.c
index 12be7eb..a3d380d 100644
--- a/device/cons.c
+++ b/device/cons.c
@@ -21,7 +21,7 @@
*/
#include <string.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#ifdef MACH_KERNEL
#include <sys/types.h>
#include <device/conf.h>
diff --git a/device/dev_pager.c b/device/dev_pager.c
index a4724a9..2626330 100644
--- a/device/dev_pager.c
+++ b/device/dev_pager.c
@@ -41,7 +41,7 @@
#include <ipc/ipc_port.h>
#include <ipc/ipc_space.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/printf.h>
#include <kern/queue.h>
#include <kern/zalloc.h>
diff --git a/device/device_init.c b/device/device_init.c
index 3169db3..1208fbf 100644
--- a/device/device_init.c
+++ b/device/device_init.c
@@ -31,7 +31,7 @@
*/
#include <ipc/ipc_port.h>
#include <ipc/ipc_space.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/task.h>
#include <device/device_types.h>
diff --git a/device/ds_routines.c b/device/ds_routines.c
index 9dccf2d..371bbb8 100644
--- a/device/ds_routines.c
+++ b/device/ds_routines.c
@@ -44,7 +44,7 @@
#include <kern/ast.h>
#include <kern/counters.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/printf.h>
#include <kern/queue.h>
#include <kern/zalloc.h>
diff --git a/device/net_io.c b/device/net_io.c
index 7a4e459..798ac7c 100644
--- a/device/net_io.c
+++ b/device/net_io.c
@@ -56,7 +56,7 @@
#include <ipc/ipc_mqueue.h>
#include <kern/counters.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/lock.h>
#include <kern/printf.h>
#include <kern/queue.h>
diff --git a/device/subrs.c b/device/subrs.c
index 7e7ef6a..ea63a5c 100644
--- a/device/subrs.c
+++ b/device/subrs.c
@@ -27,7 +27,7 @@
* Random device subroutines and stubs.
*/
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/printf.h>
#include <vm/vm_kern.h>
#include <device/buf.h>
diff --git a/i386/i386/fpe_linkage.c b/i386/i386/fpe_linkage.c
index b91d825..38860b0 100644
--- a/i386/i386/fpe_linkage.c
+++ b/i386/i386/fpe_linkage.c
@@ -37,7 +37,7 @@
#include <mach/thread_status.h>
#include <kern/cpu_number.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/thread.h>
#include <vm/vm_kern.h>
diff --git a/i386/i386/fpu.c b/i386/i386/fpu.c
index fdeb5c7..6fc5f70 100644
--- a/i386/i386/fpu.c
+++ b/i386/i386/fpu.c
@@ -33,7 +33,7 @@
#include <mach/machine/thread_status.h>
#include <mach/machine/fp_reg.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <machine/machspl.h> /* spls */
#include <kern/mach_param.h>
#include <kern/printf.h>
diff --git a/i386/i386/mp_desc.c b/i386/i386/mp_desc.c
index dc18434..9678b6a 100644
--- a/i386/i386/mp_desc.c
+++ b/i386/i386/mp_desc.c
@@ -29,7 +29,7 @@
#include <string.h>
#include <kern/cpu_number.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <mach/machine.h>
#include <vm/vm_kern.h>
diff --git a/i386/i386/pcb.c b/i386/i386/pcb.c
index 2fd96c6..fb39cfb 100644
--- a/i386/i386/pcb.c
+++ b/i386/i386/pcb.c
@@ -33,7 +33,7 @@
#include "vm_param.h"
#include <kern/counters.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/mach_param.h>
#include <kern/thread.h>
#include <kern/sched_prim.h>
diff --git a/i386/i386/trap.c b/i386/i386/trap.c
index 5b8962e..c52f004 100644
--- a/i386/i386/trap.c
+++ b/i386/i386/trap.c
@@ -43,7 +43,7 @@
#include <vm/vm_map.h>
#include <kern/ast.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/printf.h>
#include <kern/thread.h>
#include <kern/task.h>
diff --git a/i386/i386at/kd.c b/i386/i386at/kd.c
index c1389c2..e982b12 100644
--- a/i386/i386at/kd.c
+++ b/i386/i386at/kd.c
@@ -77,7 +77,7 @@ WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
/* $ Header: $ */
#include <sys/types.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/printf.h>
#include <kern/time_out.h>
#include <device/conf.h>
diff --git a/i386/i386at/model_dep.c b/i386/i386at/model_dep.c
index 06b8d12..0a2da1e 100644
--- a/i386/i386at/model_dep.c
+++ b/i386/i386at/model_dep.c
@@ -43,7 +43,7 @@
#include <kern/time_out.h>
#include <kern/assert.h>
#include <kern/cpu_number.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/printf.h>
#include <sys/time.h>
#include <vm/vm_page.h>
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c
index ec19766..ae352ed 100644
--- a/i386/intel/pmap.c
+++ b/i386/intel/pmap.c
@@ -60,7 +60,7 @@
#include <mach/machine/vm_types.h>
#include <mach/boolean.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/printf.h>
#include <kern/thread.h>
#include <kern/zalloc.h>
diff --git a/ipc/ipc_mqueue.c b/ipc/ipc_mqueue.c
index 4aee2cc..f3d5d4b 100644
--- a/ipc/ipc_mqueue.c
+++ b/ipc/ipc_mqueue.c
@@ -38,7 +38,7 @@
#include <mach/message.h>
#include <kern/assert.h>
#include <kern/counters.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/sched_prim.h>
#include <kern/ipc_sched.h>
#include <kern/ipc_kobject.h>
diff --git a/ipc/ipc_object.c b/ipc/ipc_object.c
index d2f60f9..74d21f9 100644
--- a/ipc/ipc_object.c
+++ b/ipc/ipc_object.c
@@ -45,7 +45,7 @@
#include <ipc/ipc_right.h>
#include <ipc/ipc_notify.h>
#include <ipc/ipc_pset.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/printf.h>
zone_t ipc_object_zones[IOT_NUMBER];
diff --git a/ipc/ipc_right.c b/ipc/ipc_right.c
index 176ecc6..7e7a5f2 100644
--- a/ipc/ipc_right.c
+++ b/ipc/ipc_right.c
@@ -38,7 +38,7 @@
#include <mach/port.h>
#include <mach/message.h>
#include <kern/assert.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <ipc/port.h>
#include <ipc/ipc_entry.h>
#include <ipc/ipc_space.h>
diff --git a/ipc/mach_msg.c b/ipc/mach_msg.c
index 0fe2f7c..593cf19 100644
--- a/ipc/mach_msg.c
+++ b/ipc/mach_msg.c
@@ -41,7 +41,7 @@
#include <mach/message.h>
#include <kern/assert.h>
#include <kern/counters.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/lock.h>
#include <kern/printf.h>
#include <kern/sched_prim.h>
diff --git a/ipc/mach_port.c b/ipc/mach_port.c
index a739aa0..f522cac 100644
--- a/ipc/mach_port.c
+++ b/ipc/mach_port.c
@@ -36,7 +36,7 @@
* Exported kernel calls. See mach/mach_port.defs.
*/
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/printf.h>
#include <mach/port.h>
#include <mach/kern_return.h>
diff --git a/kern/act.c b/kern/act.c
index 2954826..18dd7ba 100644
--- a/kern/act.c
+++ b/kern/act.c
@@ -35,7 +35,7 @@
#include <kern/zalloc.h>
#include <kern/thread.h>
#include <kern/task.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/act.h>
#include <kern/current.h>
#include "ipc_target.h"
diff --git a/kern/ast.c b/kern/ast.c
index 1d967fc..d692a99 100644
--- a/kern/ast.c
+++ b/kern/ast.c
@@ -37,7 +37,7 @@
#include <kern/ast.h>
#include <kern/counters.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include "cpu_number.h"
#include <kern/queue.h>
#include <kern/sched.h>
diff --git a/kern/bootstrap.c b/kern/bootstrap.c
index 4539765..4d2f1cf 100644
--- a/kern/bootstrap.c
+++ b/kern/bootstrap.c
@@ -37,7 +37,7 @@
#include <mach/message.h>
#include <machine/vm_param.h>
#include <ipc/ipc_port.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/host.h>
#include <kern/printf.h>
#include <kern/task.h>
diff --git a/kern/eventcount.c b/kern/eventcount.c
index 576607c..801ee63 100644
--- a/kern/eventcount.c
+++ b/kern/eventcount.c
@@ -40,7 +40,7 @@
#include <mach/machine.h>
#include <kern/ast.h>
-#include <kern/debug.h> /* For panic() */
+#include <kern/debug.h>
#include "cpu_number.h"
#include <kern/lock.h>
#include <kern/processor.h>
diff --git a/kern/exception.c b/kern/exception.c
index 21a3581..2727d56 100644
--- a/kern/exception.c
+++ b/kern/exception.c
@@ -38,7 +38,7 @@
#include <ipc/mach_msg.h>
#include <ipc/ipc_machdep.h>
#include <kern/counters.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/ipc_tt.h>
#include <kern/task.h>
#include <kern/thread.h>
diff --git a/kern/host.c b/kern/host.c
index b1056af..acca8ae 100644
--- a/kern/host.c
+++ b/kern/host.c
@@ -32,7 +32,7 @@
#include <string.h>
#include <kern/assert.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/kalloc.h>
#include <kern/host.h>
#include <mach/host_info.h>
diff --git a/kern/ipc_host.c b/kern/ipc_host.c
index 2cf322d..2c7a3db 100644
--- a/kern/ipc_host.c
+++ b/kern/ipc_host.c
@@ -33,7 +33,7 @@
*/
#include <mach/message.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/host.h>
#include <kern/processor.h>
#include <kern/task.h>
diff --git a/kern/ipc_kobject.c b/kern/ipc_kobject.c
index d9fbe17..473b1df 100644
--- a/kern/ipc_kobject.c
+++ b/kern/ipc_kobject.c
@@ -33,7 +33,7 @@
* Functions for letting a port represent a kernel object.
*/
-#include <kern/debug.h> /* For panic() */
+#include <kern/debug.h>
#include <kern/printf.h>
#include <mach/port.h>
#include <mach/kern_return.h>
diff --git a/kern/ipc_mig.c b/kern/ipc_mig.c
index cc25f0e..3adfdeb 100644
--- a/kern/ipc_mig.c
+++ b/kern/ipc_mig.c
@@ -29,7 +29,7 @@
#include <mach/message.h>
#include <mach/thread_status.h>
#include <kern/ast.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/ipc_tt.h>
#include <kern/thread.h>
#include <kern/task.h>
diff --git a/kern/ipc_sched.c b/kern/ipc_sched.c
index cfd7b90..5f7fbf0 100644
--- a/kern/ipc_sched.c
+++ b/kern/ipc_sched.c
@@ -27,7 +27,7 @@
#include <mach/message.h>
#include <kern/counters.h>
#include "cpu_number.h"
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/lock.h>
#include <kern/thread.h>
#include <kern/sched_prim.h>
diff --git a/kern/ipc_tt.c b/kern/ipc_tt.c
index b757bb8..ca1b6d5 100644
--- a/kern/ipc_tt.c
+++ b/kern/ipc_tt.c
@@ -35,7 +35,7 @@
#include <mach/task_special_ports.h>
#include <mach/thread_special_ports.h>
#include <vm/vm_kern.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/task.h>
#include <kern/thread.h>
#include <kern/ipc_kobject.h>
diff --git a/kern/kalloc.c b/kern/kalloc.c
index 4b9713e..b24eaa3 100644
--- a/kern/kalloc.c
+++ b/kern/kalloc.c
@@ -38,7 +38,7 @@
#include <mach/machine/vm_types.h>
#include <mach/vm_param.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/zalloc.h>
#include <kern/kalloc.h>
#include <vm/vm_kern.h>
diff --git a/kern/lock.c b/kern/lock.c
index 5bdca08..a604761 100644
--- a/kern/lock.c
+++ b/kern/lock.c
@@ -36,7 +36,7 @@
#include <string.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/lock.h>
#include <kern/thread.h>
#include <kern/sched_prim.h>
diff --git a/kern/mach_clock.c b/kern/mach_clock.c
index c53a7f3..3c1ccdb 100644
--- a/kern/mach_clock.c
+++ b/kern/mach_clock.c
@@ -43,7 +43,7 @@
#include <mach/vm_prot.h>
#include <kern/counters.h>
#include "cpu_number.h"
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/host.h>
#include <kern/lock.h>
#include <kern/mach_param.h>
diff --git a/kern/machine.c b/kern/machine.c
index 9f737b4..c0efbf7 100644
--- a/kern/machine.c
+++ b/kern/machine.c
@@ -40,7 +40,7 @@
#include <mach/machine.h>
#include <mach/host_info.h>
#include <kern/counters.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/ipc_host.h>
#include <kern/host.h>
#include <kern/lock.h>
diff --git a/kern/processor.c b/kern/processor.c
index 6b471f8..4035ad9 100644
--- a/kern/processor.c
+++ b/kern/processor.c
@@ -34,7 +34,7 @@
#include <mach/processor_info.h>
#include <mach/vm_param.h>
#include <kern/cpu_number.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/lock.h>
#include <kern/host.h>
#include <kern/processor.h>
diff --git a/kern/sched_prim.c b/kern/sched_prim.c
index eee0258..37f6291 100644
--- a/kern/sched_prim.c
+++ b/kern/sched_prim.c
@@ -37,7 +37,7 @@
#include <kern/ast.h>
#include <kern/counters.h>
#include <kern/cpu_number.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/lock.h>
#include <kern/macro_help.h>
#include <kern/processor.h>
diff --git a/kern/server_loop.ch b/kern/server_loop.ch
index 7b7b1a5..1aa7edb 100644
--- a/kern/server_loop.ch
+++ b/kern/server_loop.ch
@@ -38,7 +38,7 @@
* Must redefine symbols for pager_server functions.
*/
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <mach/port.h>
#include <mach/message.h>
#include <vm/vm_kern.h> /* for kernel_map */
diff --git a/kern/startup.c b/kern/startup.c
index 16ab508..1dce8b4 100644
--- a/kern/startup.c
+++ b/kern/startup.c
@@ -33,7 +33,7 @@
#include <mach/vm_param.h>
#include <ipc/ipc_init.h>
#include <kern/cpu_number.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/printf.h>
#include <kern/processor.h>
#include <kern/sched_prim.h>
diff --git a/kern/task.c b/kern/task.c
index d4fa825..db61522 100644
--- a/kern/task.c
+++ b/kern/task.c
@@ -39,7 +39,7 @@
#include <mach/task_special_ports.h>
#include <ipc/ipc_space.h>
#include <ipc/ipc_types.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/mach_param.h>
#include <kern/task.h>
#include <kern/thread.h>
diff --git a/kern/thread.c b/kern/thread.c
index 67b7706..c90acda 100644
--- a/kern/thread.c
+++ b/kern/thread.c
@@ -41,7 +41,7 @@
#include <machine/vm_param.h>
#include <kern/ast.h>
#include <kern/counters.h>
-#include <kern/debug.h> /* For panic() */
+#include <kern/debug.h>
#include <kern/ipc_tt.h>
#include <kern/mach_param.h>
#include <kern/processor.h>
diff --git a/kern/thread_swap.c b/kern/thread_swap.c
index c5d5183..b75e0f4 100644
--- a/kern/thread_swap.c
+++ b/kern/thread_swap.c
@@ -46,7 +46,7 @@
#include <ipc/ipc_kmsg.h>
#include <kern/counters.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/thread.h>
#include <kern/lock.h>
#include <vm/vm_map.h>
diff --git a/kern/xpr.c b/kern/xpr.c
index 147e3af..af494d2 100644
--- a/kern/xpr.c
+++ b/kern/xpr.c
@@ -29,7 +29,7 @@
*/
#include <string.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/xpr.h>
#include <kern/lock.h>
#include "cpu_number.h"
diff --git a/kern/zalloc.c b/kern/zalloc.c
index e006177..dba6190 100644
--- a/kern/zalloc.c
+++ b/kern/zalloc.c
@@ -36,7 +36,7 @@
#include <string.h>
-#include <kern/debug.h> /* For panic() */
+#include <kern/debug.h>
#include <kern/macro_help.h>
#include <kern/printf.h>
#include <kern/sched.h>
diff --git a/vm/vm_debug.c b/vm/vm_debug.c
index 60fd361..893a807 100644
--- a/vm/vm_debug.c
+++ b/vm/vm_debug.c
@@ -35,7 +35,7 @@
#include <string.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/thread.h>
#include <mach/kern_return.h>
#include <mach/machine/vm_types.h>
diff --git a/vm/vm_fault.c b/vm/vm_fault.c
index 632a852..a2edd43 100644
--- a/vm/vm_fault.c
+++ b/vm/vm_fault.c
@@ -38,7 +38,7 @@
#include <mach/kern_return.h>
#include <mach/message.h> /* for error codes */
#include <kern/counters.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/thread.h>
#include <kern/sched_prim.h>
#include <vm/vm_map.h>
diff --git a/vm/vm_kern.c b/vm/vm_kern.c
index 786daaa..33f47c7 100644
--- a/vm/vm_kern.c
+++ b/vm/vm_kern.c
@@ -39,7 +39,7 @@
#include <mach/kern_return.h>
#include <machine/vm_param.h>
#include <kern/assert.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/lock.h>
#include <kern/thread.h>
#include <vm/vm_fault.h>
diff --git a/vm/vm_map.c b/vm/vm_map.c
index 31ef042..4f358bd 100644
--- a/vm/vm_map.c
+++ b/vm/vm_map.c
@@ -40,7 +40,7 @@
#include <mach/vm_attributes.h>
#include <mach/vm_param.h>
#include <kern/assert.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/zalloc.h>
#include <vm/vm_fault.h>
#include <vm/vm_map.h>
diff --git a/vm/vm_object.c b/vm/vm_object.c
index a52edaf..b2a72e1 100644
--- a/vm/vm_object.c
+++ b/vm/vm_object.c
@@ -43,7 +43,7 @@
#include <ipc/ipc_port.h>
#include <ipc/ipc_space.h>
#include <kern/assert.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/lock.h>
#include <kern/queue.h>
#include <kern/xpr.h>
diff --git a/vm/vm_object.h b/vm/vm_object.h
index 05dce54..c5efd67 100644
--- a/vm/vm_object.h
+++ b/vm/vm_object.h
@@ -43,7 +43,7 @@
#include <kern/queue.h>
#include <kern/lock.h>
#include <kern/assert.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/macro_help.h>
#include <vm/pmap.h>
diff --git a/vm/vm_pageout.c b/vm/vm_pageout.c
index 63ee8f0..d058b46 100644
--- a/vm/vm_pageout.c
+++ b/vm/vm_pageout.c
@@ -41,7 +41,7 @@
#include <mach/vm_param.h>
#include <mach/vm_statistics.h>
#include <kern/counters.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/thread.h>
#include <vm/pmap.h>
#include <vm/vm_map.h>
diff --git a/vm/vm_resident.c b/vm/vm_resident.c
index 8eb5c85..fababc2 100644
--- a/vm/vm_resident.c
+++ b/vm/vm_resident.c
@@ -38,7 +38,7 @@
#include <mach/vm_prot.h>
#include <kern/counters.h>
-#include <kern/debug.h> /* for panic() */
+#include <kern/debug.h>
#include <kern/sched_prim.h>
#include <kern/task.h>
#include <kern/thread.h>