#ifndef	MACH_CLOCK_TYPES_H
#define	MACH_CLOCK_TYPES_H

#include <stdint.h>
#include <mach/time_value.h>
#include <HYS/mach/clock_types.h>

/*In some parts of the kernel, you may find other functions that return type mach_timespec_t. This type is similar to the traditional BSD struct timespec, except that fractions of a second are measured in nanoseconds instead of microseconds:

struct mach_timespec {
    unsigned int tv_sec;
    clock_res_t tv_nsec;
};
typedef struct mach_timespec *mach_timespec_t;*/

struct mach_timespec {
    unsigned int tv_sec;
    clock_res_t tv_nsec;
};
typedef struct mach_timespec *mach_timespec_t;


#endif