/*
- * Copyright (c) 2000-2006 Apple Computer, Inc. All rights reserved.
+ * Copyright (c) 2000-2011 Apple Computer, Inc. All rights reserved.
*
* @APPLE_OSREFERENCE_LICENSE_HEADER_START@
*
mach_msg_size_t nbytes);
/* Invalidate copy window(s) cache */
-extern void inval_copy_windows(thread_t);
+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);
#endif
#endif
-extern void dbugprintf(const char *format, ...) __printflike(1,2);
-
extern int kdb_printf(const char *format, ...) __printflike(1,2);
extern int kdb_log(const char *format, ...) __printflike(1,2);
extern void conslog_putc(char);
+extern void cons_putc_locked(char);
+
extern void consdebug_putc(char);
extern void consdebug_log(char);
extern void Debugger(
const char * message);
+extern void DebuggerWithContext(
+ unsigned int reason,
+ void *ctx,
+ const char *message);
+
extern void delay(
int n);
/* symbol lookup */
struct kmod_info_t;
+extern uint64_t early_random(void);
+
#endif /* _MISC_PROTOS_H_ */