#ifndef   SYS_KERNELTYPES_H
#define  SYS_KERNELTYPES_H

#include <sys/cdefs.h>
#include <ADD/sys/types.h>
#include <sys/types.h>

#include <stdint.h>

//#include <HYS/sys/kernel_types.h>
#include <APPLE/sys/kernel_types.h>
#endif
