xnu-2782.1.97.tar.gz

[apple/xnu.git] / osfmk / kern / misc_protos.h

diff --git a/osfmk/kern/misc_protos.h b/osfmk/kern/misc_protos.h
index 387bcef3596061760d7db2bd60329d45a3a1991b..fa9a5725160106c8a38d5690570ef64ac7e4edbf 100644 (file)
--- a/osfmk/kern/misc_protos.h
+++ b/osfmk/kern/misc_protos.h
@@ -1,5 +1,5 @@
 /*
- * 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@
  * 
@@ -28,6 +28,12 @@
 /*
  * @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_
@@ -41,6 +47,13 @@
 #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,
@@ -85,7 +98,7 @@ extern int copyinmsg(
 
 /* 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);
 
@@ -96,21 +109,41 @@ extern int copyoutmsg(
        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 int sscanf(const char *input, const char *fmt, ...);
+/* sprintf() is being deprecated. Please use snprintf() instead. */ 
+extern integer_t sprintf(char *buf, const char *fmt, ...) __deprecated;
 
-extern integer_t sprintf(char *buf, const char *fmt, ...);
+extern int printf(const char *format, ...) __printflike(1,2);
 
-extern void printf(const char *format, ...);
+#if KERNEL_PRIVATE
+int     _consume_printf_args(int, ...);
+#endif
 
-extern void dbugprintf(const char *format, ...);
+#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 void kdp_printf(const char *format, ...);
+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 
@@ -122,7 +155,7 @@ _doprnt(
 int
 __doprnt(
        register const char     *fmt,
-       va_list                 *argp,
+       va_list                 argp,
        void                    (*putc)(int, void *),
        void                    *arg,
        int                     radix);
@@ -135,10 +168,18 @@ extern void cnputcusr(char);
 
 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);
@@ -155,11 +196,15 @@ extern void bootstrap_create(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);
@@ -171,4 +216,11 @@ extern kern_return_t       kernel_set_special_port(
                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_ */