diff options
Diffstat (limited to 'device')
| -rw-r--r-- | device/cirbuf.c | 1 | ||||
| -rw-r--r-- | device/cons.c | 1 | ||||
| -rw-r--r-- | device/dev_name.c | 2 | ||||
| -rw-r--r-- | device/dev_pager.c | 3 | ||||
| -rw-r--r-- | device/device_init.c | 1 | ||||
| -rw-r--r-- | device/dk_label.c | 2 | ||||
| -rw-r--r-- | device/ds_routines.c | 4 | ||||
| -rw-r--r-- | device/net_io.c | 3 | ||||
| -rw-r--r-- | device/subrs.c | 3 |
9 files changed, 14 insertions, 6 deletions
diff --git a/device/cirbuf.c b/device/cirbuf.c index c6ca196..635f719 100644 --- a/device/cirbuf.c +++ b/device/cirbuf.c @@ -32,6 +32,7 @@ #include <string.h> #include <device/cirbuf.h> +#include <kern/debug.h> /* for panic() */ #include <kern/kalloc.h> diff --git a/device/cons.c b/device/cons.c index ded971e..12be7eb 100644 --- a/device/cons.c +++ b/device/cons.c @@ -21,6 +21,7 @@ */ #include <string.h> +#include <kern/debug.h> /* for panic() */ #ifdef MACH_KERNEL #include <sys/types.h> #include <device/conf.h> diff --git a/device/dev_name.c b/device/dev_name.c index 1f41335..cef1efd 100644 --- a/device/dev_name.c +++ b/device/dev_name.c @@ -28,7 +28,7 @@ * Date: 8/89 */ -#include <printf.h> +#include <kern/printf.h> #include <string.h> #include <device/device_types.h> #include <device/dev_hdr.h> diff --git a/device/dev_pager.c b/device/dev_pager.c index be2daa4..a4724a9 100644 --- a/device/dev_pager.c +++ b/device/dev_pager.c @@ -30,7 +30,6 @@ * Device pager. */ -#include <printf.h> #include <string.h> #include <mach/boolean.h> @@ -42,6 +41,8 @@ #include <ipc/ipc_port.h> #include <ipc/ipc_space.h> +#include <kern/debug.h> /* for panic() */ +#include <kern/printf.h> #include <kern/queue.h> #include <kern/zalloc.h> #include <kern/kalloc.h> diff --git a/device/device_init.c b/device/device_init.c index 292de92..3169db3 100644 --- a/device/device_init.c +++ b/device/device_init.c @@ -31,6 +31,7 @@ */ #include <ipc/ipc_port.h> #include <ipc/ipc_space.h> +#include <kern/debug.h> /* for panic() */ #include <kern/task.h> #include <device/device_types.h> diff --git a/device/dk_label.c b/device/dk_label.c index c3400ef..c7d459b 100644 --- a/device/dk_label.c +++ b/device/dk_label.c @@ -31,7 +31,7 @@ */ #include <sys/types.h> -#include <printf.h> +#include <kern/printf.h> #include <sys/ioctl.h> #include <device/device_types.h> #include <device/disk_status.h> diff --git a/device/ds_routines.c b/device/ds_routines.c index d1fbd4b..9dccf2d 100644 --- a/device/ds_routines.c +++ b/device/ds_routines.c @@ -28,7 +28,7 @@ * Date: 3/89 */ -#include <printf.h> +#include <kern/printf.h> #include <string.h> #include <mach/boolean.h> @@ -44,6 +44,8 @@ #include <kern/ast.h> #include <kern/counters.h> +#include <kern/debug.h> /* for panic() */ +#include <kern/printf.h> #include <kern/queue.h> #include <kern/zalloc.h> #include <kern/thread.h> diff --git a/device/net_io.c b/device/net_io.c index 7091ffa..7a4e459 100644 --- a/device/net_io.c +++ b/device/net_io.c @@ -39,7 +39,6 @@ */ #include <sys/types.h> -#include <printf.h> #include <string.h> #include <device/net_status.h> @@ -57,7 +56,9 @@ #include <ipc/ipc_mqueue.h> #include <kern/counters.h> +#include <kern/debug.h> /* for panic() */ #include <kern/lock.h> +#include <kern/printf.h> #include <kern/queue.h> #include <kern/sched_prim.h> #include <kern/thread.h> diff --git a/device/subrs.c b/device/subrs.c index 4aa0688..7e7ef6a 100644 --- a/device/subrs.c +++ b/device/subrs.c @@ -27,7 +27,8 @@ * Random device subroutines and stubs. */ -#include <printf.h> +#include <kern/debug.h> /* for panic() */ +#include <kern/printf.h> #include <vm/vm_kern.h> #include <device/buf.h> #include <device/if_hdr.h> |