+/* Invalidate copy window(s) cache */
+extern void inval_copy_windows(thread_t);
+extern void copy_window_fault(thread_t, vm_map_t, int);
+
+extern int copyin_validate(const user_addr_t, uintptr_t, vm_size_t);
+extern int copyout_validate(uintptr_t, const user_addr_t, vm_size_t);
+
+extern int sscanf(const char *input, const char *fmt, ...) __scanflike(2,3);
+
+/* sprintf() is being deprecated. Please use snprintf() instead. */
+extern integer_t sprintf(char *buf, const char *fmt, ...) __deprecated;
+
+extern int printf(const char *format, ...) __printflike(1,2);
+
+#if KERNEL_PRIVATE
+int _consume_printf_args(int, ...);
+#endif