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, ...);