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 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>