user_addr_t user_addr,
mach_msg_size_t nbytes);
+/* Invalidate copy window(s) cache */
+extern void inval_copy_windows(thread_t);
+
+
extern int sscanf(const char *input, const char *fmt, ...);
extern integer_t sprintf(char *buf, const char *fmt, ...);
extern void dbugprintf(const char *format, ...);
-extern void kdp_printf(const char *format, ...);
+extern void kdb_printf(const char *format, ...);
extern void printf_init(void);