Merge branch 'master' into master-gdb_stubs

1 files changed, 16 insertions, 0 deletions

diff --git a/kern/syscall_subr.c b/kern/syscall_subr.c
index 395b9b8f..ae2d7d73 100644
--- a/kern/syscall_subr.c
+++ b/kern/syscall_subr.c
@@ -34,6 +34,7 @@
 #include <kern/counters.h>
 #include <kern/ipc_kobject.h>
 #include <kern/mach_clock.h>
+#include <kern/printf.h>
 #include <kern/processor.h>
 #include <kern/sched.h>
 #include <kern/sched_prim.h>
@@ -380,3 +381,18 @@ register thread_t	thread;
     (void) splx(s);
     return(KERN_SUCCESS);
 }
+
+/*
+ *	mach_print
+ *
+ *	Display a null-terminated character string on the Mach console.
+ *	This system call is meant as a debugging tool useful to circumvent
+ *	messaging altogether.
+ */
+#ifdef MACH_KDB
+void
+mach_print(const char *s)
+{
+	printf("%s", s);
+}
+#endif /* MACH_KDB */