diff options
Diffstat (limited to 'device')
-rw-r--r-- | device/cirbuf.c | 2 | ||||
-rw-r--r-- | device/cons.c | 2 | ||||
-rw-r--r-- | device/dev_pager.c | 2 | ||||
-rw-r--r-- | device/device_init.c | 2 | ||||
-rw-r--r-- | device/ds_routines.c | 2 | ||||
-rw-r--r-- | device/net_io.c | 2 | ||||
-rw-r--r-- | device/subrs.c | 2 |
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> |