#ifndef IOKIT_SYSTEM_H
#define IOKIT_SYSTEM_H

#include <sys/cdefs.h>
#include <mach/mach_types.h>
#include <mach/mach_interface.h>
#include <mach/memory_object_types.h>
#include <stdarg.h>
#include <stdint.h>
#include <string.h>
#include <IOKit/assert.h>  
#include <kern/kern_types.h>
#include <kern/thread.h>
#include <kern/debug.h>
#include <kern/task.h>
#include <kern/sched_prim.h>
#include <kern/locks.h>
#include <kern/queue.h>
#include <kern/ipc_mig.h>
#include <libkern/libkern.h>

#endif