/*
- * 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@
*
char *kernel_addr,
vm_size_t nbytes);
+/* Move an aligned 32 or 64-bit word from user space to kernel space
+ * using a single read instruction
+ *
+ * when reading a 32-bit word, the value is 0-extended into the kernel space
+ * 64-bit buffer passed as `kernel_addr`
+ * (think `*kernel_addr = *(uint32_t *)user_addr`)
+ */
+extern int copyin_word(
+ const user_addr_t user_addr,
+ uint64_t *kernel_addr,
+ vm_size_t nbytes);
+
/* Move a NUL-terminated string from a user space to kernel space */
extern int copyinstr(
const user_addr_t user_addr,
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);
extern integer_t sprintf(char *buf, const char *fmt, ...) __deprecated;
extern int printf(const char *format, ...) __printflike(1,2);
+extern int vprintf(const char *format, va_list ap);
-extern void dbugprintf(const char *format, ...) __printflike(1,2);
+#if KERNEL_PRIVATE
+int _consume_printf_args(int, ...);
+#endif
+
+#if CONFIG_NO_PRINTF_STRINGS
+#if KERNEL_PRIVATE
+#define printf(x, ...) _consume_printf_args( 0, ## __VA_ARGS__ )
+#else
+#define printf(x, ...) do {} while (0)
+#endif
+#endif
extern int kdb_printf(const char *format, ...) __printflike(1,2);
+extern int kdb_log(const char *format, ...) __printflike(1,2);
+
+extern int kdb_printf_unbuffered(const char *format, ...) __printflike(1,2);
+
extern void printf_init(void);
extern int snprintf(char *, size_t, const char *, ...) __printflike(3,4);
void
_doprnt(
- register const char *fmt,
+ const char *fmt,
+ va_list *argp,
+ void (*putc)(char),
+ int radix);
+
+void
+_doprnt_log(
+ const char *fmt,
va_list *argp,
void (*putc)(char),
int radix);
+
int
__doprnt(
- register const char *fmt,
- va_list *argp,
+ const char *fmt,
+ va_list argp,
void (*putc)(int, void *),
void *arg,
- int radix);
+ int radix,
+ int is_log);
extern void safe_gets(
char *str,
extern void conslog_putc(char);
+extern void cons_putc_locked(char);
+
extern void consdebug_putc(char);
+extern void consdebug_log(char);
+
+extern void consdebug_putc_unbuffered(char);
+
extern void cnputc(char);
+extern void cnputc_unbuffered(char);
+
+extern void console_write(char *, int);
+
+extern void console_suspend(void);
+
+extern void console_resume(void);
+
extern int cngetc(void);
extern int cnmaygetc(void);
extern void bootstrap_create(void);
+/*
+ * Halt other cores before invoking debugger
+ * Halting other cores as early as possible helps preserve
+ * the current system state for debugging
+ */
+extern void DebuggerHaltOtherCores(void);
+
+/* Resume other cores */
+extern void DebuggerResumeOtherCores(void);
+
extern void Debugger(
const char * message);
-extern void delay(
- int n);
+extern void DebuggerWithContext(
+ unsigned int reason,
+ void *ctx,
+ const char *message,
+ uint64_t debugger_options_mask);
-extern void norma_bootstrap(void);
-
#if DIPC
extern boolean_t no_bootstrap_task(void);
extern ipc_port_t get_root_master_device_port(void);
int which,
ipc_port_t port);
+extern kern_return_t kernel_get_special_port(
+ host_priv_t host_priv,
+ int which,
+ ipc_port_t *portp);
+
user_addr_t get_useraddr(void);
/* symbol lookup */
struct kmod_info_t;
-extern int syms_formataddr(
- vm_offset_t addr,
- char *out,
- vm_offset_t outsize);
-
-extern const char *syms_nameforaddr(
- vm_offset_t addr,
- vm_offset_t *ofs,
- kmod_info_t **kmod);
+extern uint64_t early_random(void);
#endif /* _MISC_PROTOS_H_ */