* mach/mach/mach_traps.h (mach_print): Add syscall declaration.
+2016-06-09 Samuel Thibault <samuel.thibault@ens-lyon.org
+
+ * mach/mach/mach_traps.h (mach_print): Add syscall declaration.
+
2016-06-08 Joseph Myers <joseph@codesourcery.com>
[BZ #20229]
kern_return_t evc_wait (unsigned int event);
kern_return_t __evc_wait (unsigned int event);
+/* Display a null-terminated character string on the Mach console. This
+ system call is meant as a debugging tool useful to circumvent messaging
+ altogether. */
+
+extern void mach_print(const char *s);
#endif /* mach/mach_traps.h */