From 350415bcec5377422a8dd5e5ef4d1429e60851c3 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Fri, 10 Nov 2006 01:22:59 +0000
Subject: 2006-11-10  Samuel Thibault  <samuel.thibault@ens-lyon.org>

Put "for panic()" in ChangeLog, not in source code.
---
 ChangeLog               | 2 +-
 ddb/db_command.c        | 2 +-
 ddb/db_cond.c           | 2 +-
 device/cirbuf.c         | 2 +-
 device/cons.c           | 2 +-
 device/dev_pager.c      | 2 +-
 device/device_init.c    | 2 +-
 device/ds_routines.c    | 2 +-
 device/net_io.c         | 2 +-
 device/subrs.c          | 2 +-
 i386/i386/fpe_linkage.c | 2 +-
 i386/i386/fpu.c         | 2 +-
 i386/i386/mp_desc.c     | 2 +-
 i386/i386/pcb.c         | 2 +-
 i386/i386/trap.c        | 2 +-
 i386/i386at/kd.c        | 2 +-
 i386/i386at/model_dep.c | 2 +-
 i386/intel/pmap.c       | 2 +-
 ipc/ipc_mqueue.c        | 2 +-
 ipc/ipc_object.c        | 2 +-
 ipc/ipc_right.c         | 2 +-
 ipc/mach_msg.c          | 2 +-
 ipc/mach_port.c         | 2 +-
 kern/act.c              | 2 +-
 kern/ast.c              | 2 +-
 kern/bootstrap.c        | 2 +-
 kern/eventcount.c       | 2 +-
 kern/exception.c        | 2 +-
 kern/host.c             | 2 +-
 kern/ipc_host.c         | 2 +-
 kern/ipc_kobject.c      | 2 +-
 kern/ipc_mig.c          | 2 +-
 kern/ipc_sched.c        | 2 +-
 kern/ipc_tt.c           | 2 +-
 kern/kalloc.c           | 2 +-
 kern/lock.c             | 2 +-
 kern/mach_clock.c       | 2 +-
 kern/machine.c          | 2 +-
 kern/processor.c        | 2 +-
 kern/sched_prim.c       | 2 +-
 kern/server_loop.ch     | 2 +-
 kern/startup.c          | 2 +-
 kern/task.c             | 2 +-
 kern/thread.c           | 2 +-
 kern/thread_swap.c      | 2 +-
 kern/xpr.c              | 2 +-
 kern/zalloc.c           | 2 +-
 vm/vm_debug.c           | 2 +-
 vm/vm_fault.c           | 2 +-
 vm/vm_kern.c            | 2 +-
 vm/vm_map.c             | 2 +-
 vm/vm_object.c          | 2 +-
 vm/vm_object.h          | 2 +-
 vm/vm_pageout.c         | 2 +-
 vm/vm_resident.c        | 2 +-
 55 files changed, 55 insertions(+), 55 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 09ea854d..461ba7fa 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 56bde0d5..f4b8bece 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 e968c5c6..9440cb62 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 635f7192..4fe2d896 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 12be7eb7..a3d380d2 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 a4724a94..26263302 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 3169db30..1208fbf2 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 9dccf2db..371bbb8e 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 7a4e4591..798ac7c2 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 7e7ef6ac..ea63a5c6 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 b91d8255..38860b08 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 fdeb5c7d..6fc5f701 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 dc18434b..9678b6a6 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 2fd96c60..fb39cfbb 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 5b8962e8..c52f004a 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 c1389c20..e982b12f 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 06b8d12a..0a2da1e4 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 ec197666..ae352edc 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 4aee2cc3..f3d5d4b0 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 d2f60f96..74d21f95 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 176ecc62..7e7a5f28 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 0fe2f7c0..593cf19f 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 a739aa04..f522cac0 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 29548263..18dd7ba9 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 1d967fc3..d692a99d 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 4539765e..4d2f1cf8 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 576607cb..801ee633 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 21a35811..2727d569 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 b1056af4..acca8aed 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 2cf322d7..2c7a3dbf 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 d9fbe179..473b1df4 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 cc25f0e5..3adfdebd 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 cfd7b90b..5f7fbf01 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 b757bb89..ca1b6d50 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 4b9713eb..b24eaa36 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 5bdca08d..a6047612 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 c53a7f31..3c1ccdbf 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 9f737b4a..c0efbf7c 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 6b471f8e..4035ad96 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 eee02585..37f6291a 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 7b7b1a5c..1aa7edbc 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 16ab5080..1dce8b45 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 d4fa825e..db615227 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 67b77067..c90acda8 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 c5d51835..b75e0f4a 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 147e3afd..af494d2c 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 e006177b..dba6190c 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 60fd361f..893a8079 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 632a852a..a2edd437 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 786daaaf..33f47c70 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 31ef0420..4f358bd8 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 a52edaf9..b2a72e11 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 05dce547..c5efd67c 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 63ee8f03..d058b465 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 8eb5c85d..fababc2e 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>
-- 
cgit v1.2.3