/*
- * Copyright (c) 2000-2006 Apple Computer, Inc. All rights reserved.
+ * Copyright (c) 2000-2016 Apple Inc. All rights reserved.
*
* @APPLE_OSREFERENCE_LICENSE_HEADER_START@
*
int *bitmap);
extern int ffs(
unsigned int mask);
+extern int ffsll(
+ unsigned long long mask);
+
+/* Find the last set bit in a bit array */
+extern int fls(
+ unsigned int mask);
+extern int flsll(
+ unsigned long long mask);
/*
* Test if indicated bit is set in bit string.
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);
#if KERNEL_PRIVATE
int _consume_printf_args(int, ...);
#endif
#endif
-extern void dbugprintf(const char *format, ...) __printflike(1,2);
+extern int paniclog_append_noflush(const char *format, ...) __printflike(1,2);
extern int kdb_printf(const char *format, ...) __printflike(1,2);
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,
+ 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 cnputcusr(char);
+extern void cnputsusr(char *, int);
+
extern void conslog_putc(char);
+extern void cons_putc_locked(char);
+
extern void consdebug_putc(char);
extern void consdebug_log(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);
-extern void Debugger(
- const char * message);
-
-extern void delay(
- int n);
-
-
-
#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 uint64_t early_random(void);
+
#endif /* _MISC_PROTOS_H_ */