From d1ee506ebd11d305e5384ea0edf072d8076b4eac Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Thu, 9 Nov 2006 23:33:45 +0000
Subject: 2006-11-09  Barry deFreese  <bddebian@comcast.net>

[task #5726 --- ``GCC built-in functions'']
	* include/printf.h: Move file...
	* kern/printf.h: ... here.
	* kern/debug.h (panic_init, panic): Add prototypes.
	* chips/busses.c: Don't include `printf.h', include `kern/printf.h'
	and `kern/debug.h'.
	* ddb/db_command.c: Likewise.
	* ddb/db_cond.c: Likewise.
	* ddb/db_output.c: Likewise.
	* device/cirbuf.c: Likewise.
	* device/cons.c: Likewise.
	* device/dev_name.c: Likewise.
	* device/dev_pager.c: Likewise.
	* device/device_init.c: Likewise.
	* device/dk_label.c: Likewise.
	* device/ds_routines.c: Likewise.
	* device/net_io.c: Likewise.
	* device/subrs.c: Likewise.
	* i386/i386/debug_i386.c: Likewise.
	* i386/i386/fpe_linkage.c: Likewise.
	* i386/i386/fpu.c: Likewise.
	* i386/i386/io_map.c: Likewise.
	* i386/i386/kttd_interface.c: Likewise.
	* i386/i386/mp_desc.c: Likewise.
	* i386/i386/pcb.c: Likewise.
	* i386/i386/pic.c: Likewise.
	* i386/i386/trap.c: Likewise.
	* i386/i386at/autoconf.c: Likewise.
	* i386/i386at/com.c: Likewise.
	* i386/i386at/i386at_ds_routines.c: Likewise.
	* i386/i386at/kd.c: Likewise.
	* i386/i386at/kd_event.c: Likewise.
	* i386/i386at/kd_mouse.c: Likewise.
	* i386/i386at/lpr.c: Likewise.
	* i386/i386at/model_dep.c: Likewise.
	* i386/intel/pmap.c: Likewise.
	* ipc/ipc_entry.c: Likewise.
	* ipc/ipc_hash.c: Likewise.
	* ipc/ipc_kmsg.c: Likewise.
	* ipc/ipc_mqueue.c: Likewise.
	* ipc/ipc_notify.c: Likewise.
	* ipc/ipc_object.c: Likewise.
	* ipc/ipc_port.c: Likewise.
	* ipc/ipc_pset.c: Likewise.
	* ipc/ipc_right.c: Likewise.
	* ipc/mach_msg.c: Likewise.
	* ipc/mach_port.c: Likewise.
	* ipc/mach_rpc.c: Likewise.
	* kern/act.c: Likewise.
	* kern/ast.c: Likewise.
	* kern/bootstrap.c: Likewise.
	* kern/debug.c: Likewise.
	* kern/eventcount.c: Likewise.
	* kern/exception.c: Likewise.
	* kern/host.c: Likewise.
	* kern/ipc_host.c: Likewise.
	* kern/ipc_kobject.c: Likewise.
	* kern/ipc_mig.c: Likewise.
	* kern/ipc_sched.c: Likewise.
	* kern/ipc_tt.c: Likewise.
	* kern/kalloc.c: Likewise.
	* kern/lock.c: Likewise.
	* kern/mach_clock.c: Likewise.
	* kern/machine.c: Likewise.
	* kern/pc_sample.c: Likewise.
	* kern/printf.c: Likewise.
	* kern/processor.c: Likewise.
	* kern/sched_prim.c: Likewise.
	* kern/server_loop.ch: Likewise.
	* kern/startup.c: Likewise.
	* kern/task.c: Likewise.
	* kern/thread.c: Likewise.
	* kern/thread_swap.c: Likewise.
	* kern/xpr.c: Likewise.
	* kern/zalloc.c: Likewise.
	* vm/memory_object.c: Likewise.
	* vm/vm_debug.c: Likewise.
	* vm/vm_fault.c: Likewise.
	* vm/vm_kern.c: Likewise.
	* vm/vm_map.c: Likewise.
	* vm/vm_object.c: Likewise.
	* vm/vm_object.h: Likewise.
	* vm/vm_pageout.c: Likewise.
	* vm/vm_resident.c: Likewise.
---
 device/cirbuf.c      | 1 +
 device/cons.c        | 1 +
 device/dev_name.c    | 2 +-
 device/dev_pager.c   | 3 ++-
 device/device_init.c | 1 +
 device/dk_label.c    | 2 +-
 device/ds_routines.c | 4 +++-
 device/net_io.c      | 3 ++-
 device/subrs.c       | 3 ++-
 9 files changed, 14 insertions(+), 6 deletions(-)

(limited to 'device')

diff --git a/device/cirbuf.c b/device/cirbuf.c
index c6ca196d..635f7192 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 ded971eb..12be7eb7 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 1f41335b..cef1efd5 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 be2daa46..a4724a94 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 292de923..3169db30 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 c3400efb..c7d459bd 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 d1fbd4b5..9dccf2db 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 7091ffaf..7a4e4591 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 4aa0688d..7e7ef6ac 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>
-- 
cgit v1.2.3