1#ifndef __OS_CLOCK__
 2#define __OS_CLOCK__
 3
 4#include <os/base.h>
 5#include <stdint.h>
 6
 7/*
 8 * @typedef os_clockid_t
 9 *
10 * @abstract
11 * Describes the kind of clock that the workgroup timestamp parameters are
12 * specified in
13 */
14OS_ENUM(os_clockid, uint32_t,
15		OS_CLOCK_MACH_ABSOLUTE_TIME = 32,
16);
17
18#endif /* __OS_CLOCK__ */