#ifndef	KERN_CLOCK_H
#define	KERN_CLOCK_H

#include <stdint.h>
#include <mach/mach_types.h>
#include <mach/clock_types.h>
#include <mach/message.h>
#include <mach/mach_time.h>
#include <kern/kern_types.h>
#include <sys/cdefs.h>

#endif