1// Copyright (c) 2016 Nuxi, https://nuxi.nl/
 2//
 3// SPDX-License-Identifier: BSD-2-Clause
 4
 5#ifndef COMMON_CLOCK_H
 6#define COMMON_CLOCK_H
 7
 8#include <wasi/api.h>
 9
10// In this implementation we define clockid_t as a pointer type, so that
11// we can implement them as full objects. Right now we only use those
12// objects to store the raw ABI-level clock identifier, but in the
13// future we can use this to provide support for pthread_getcpuclockid()
14// and clock file descriptors.
15struct __clockid {
16  __wasi_clockid_t id;
17};
18
19#endif