2006-11-10 Samuel Thibault <samuel.thibault@ens-lyon.org>

Put "for panic()" in ChangeLog, not in source code.

24 files changed, 24 insertions, 24 deletions

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>