#ifndef __IOKIT_SYSTEM_H
#define __IOKIT_SYSTEM_H
#include <sys/cdefs.h>
__BEGIN_DECLS
#include <mach/mach_types.h>
#include <mach/mach_interface.h>
#include <mach/etap.h>
#include <mach/etap_events.h>
#include <stdarg.h>
#if KERNEL_PRIVATE
#include <IOKit/assert.h>
#include <kern/cpu_data.h>
#include <kern/thread.h>
#include <kern/thread_act.h>
#include <vm/pmap.h>
#include <vm/vm_kern.h>
#include <kern/kalloc.h>
#include <kern/task.h>
#include <kern/time_out.h>
#include <kern/sched_prim.h>
#include <machine/spl.h>
#include <kern/lock.h>
#include <kern/queue.h>
#include <kern/ipc_mig.h>
#endif
extern int bcmp(const void *, const void *, size_t);
extern void bcopy(const void *, void *, size_t);
extern void bzero(void *, size_t);
extern int memcmp(const void *, const void *, size_t);
extern void _doprnt( const char *format, va_list *arg,
void (*putc)(char), int radix );
extern int sscanf(const char *input, const char *fmt, ...);
extern int sprintf(char *s, const char *format, ...);
extern long strtol(const char *, char **, int);
extern unsigned long strtoul(const char *, char **, int);
extern long long strtoq(const char *, char **, int);
extern unsigned long long strtouq(const char *, char **, int);
extern
#ifdef __GNUC__
volatile
#endif
void panic(const char * msg, ...);
extern void invalidate_icache(vm_offset_t addr, unsigned cnt, int phys);
extern void flush_dcache(vm_offset_t addr, unsigned count, int phys);
extern void invalidate_icache64(addr64_t addr, unsigned cnt, int phys);
extern void flush_dcache64(addr64_t addr, unsigned count, int phys);
__END_DECLS
#endif