#ifndef _MACHINE_TYPES_H_
#define _MACHINE_TYPES_H_

#ifdef KERNEL
#define _BSD_CLOCK_T_ unsigned int
#define _BSD_TIME_T_ unsigned int
#else
#include <time.h>
#endif
#ifndef __size_t
#  define __size_t 1
#  define _BSD_SIZE_T_ unsigned int
#endif
#define _BSD_SSIZE_T_ int
typedef unsigned int vm_offset_t;

typedef unsigned int u_int32_t;
typedef unsigned short u_int16_t;

typedef int 	int32_t;
typedef short 	int16_t;

#endif
