summaryrefslogtreecommitdiff
path: root/device
diff options
context:
space:
mode:
Diffstat (limited to 'device')
-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
7 files changed, 7 insertions, 7 deletions
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>