/*
- * Copyright (c) 2000-2004 Apple Computer, Inc. All rights reserved.
+ * Copyright (c) 2000-2011 Apple Computer, Inc. All rights reserved.
*
* @APPLE_OSREFERENCE_LICENSE_HEADER_START@
*
/*
* @OSF_COPYRIGHT@
*/
+/*
+ * NOTICE: This file was modified by McAfee Research in 2004 to introduce
+ * support for mandatory and extensible security protections. This notice
+ * is included in support of clause 2.2 (b) of the Apple Public License,
+ * Version 2.0.
+ */
#ifndef _MISC_PROTOS_H_
#define _MISC_PROTOS_H_
#include <ipc/ipc_types.h>
#include <kern/debug.h>
+#ifndef MIN
+#define MIN(a,b) (((a)<(b))?(a):(b))
+#endif /* MIN */
+#ifndef MAX
+#define MAX(a,b) (((a)>(b))?(a):(b))
+#endif /* MAX */
+
/* Set a bit in a bit array */
extern void setbit(
int which,
/* Move arbitrarily-aligned data from a kernel space to user space */
extern int copyout(
- const char *kernel_addr,
+ const void *kernel_addr,
user_addr_t user_addr,
vm_size_t nbytes);
user_addr_t user_addr,
mach_msg_size_t nbytes);
-extern int sscanf(const char *input, const char *fmt, ...);
+/* Invalidate copy window(s) cache */
+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 integer_t sprintf(char *buf, const char *fmt, ...);
+extern int sscanf(const char *input, const char *fmt, ...) __scanflike(2,3);
-extern void printf(const char *format, ...);
+/* sprintf() is being deprecated. Please use snprintf() instead. */
+extern integer_t sprintf(char *buf, const char *fmt, ...) __deprecated;
-extern void dbugprintf(const char *format, ...);
+extern int printf(const char *format, ...) __printflike(1,2);
-extern void kdp_printf(const char *format, ...);
+#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);
+
extern void log(int level, char *fmt, ...);
void
int
__doprnt(
register const char *fmt,
- va_list *argp,
+ va_list argp,
void (*putc)(int, void *),
void *arg,
int radix);
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 int cngetc(void);
extern int cnmaygetc(void);
extern void Debugger(
const char * message);
+extern void DebuggerWithContext(
+ unsigned int reason,
+ void *ctx,
+ const char *message);
+
extern void delay(
int n);
-extern void norma_bootstrap(void);
#if DIPC
extern boolean_t no_bootstrap_task(void);
int which,
ipc_port_t port);
+user_addr_t get_useraddr(void);
+
+/* symbol lookup */
+struct kmod_info_t;
+
+extern uint64_t early_random(void);
+
#endif /* _MISC_PROTOS_H_ */