| 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. |
| 15 | struct __clockid { |
| 16 | __wasi_clockid_t id; |
| 17 | }; |
| 18 | |
| 19 | #endif |