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