| # Copyright 2017 syzkaller project authors. All rights reserved. |
| # Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. |
| |
| include <zircon/syscalls.h> |
| |
| resource zx_time[int64]: 0, ZX_TIME_INFINITE |
| |
| zx_nanosleep(deadline zx_time) |
| zx_clock_get(clock_id flags[clock_id]) zx_time |
| zx_clock_get_new(clock_id int32, zx_time ptr[out, intptr]) |
| zx_clock_get_monotonic() |
| zx_ticks_get() |
| zx_ticks_per_second() |
| |
| # TODO: undocumented |
| # zx_clock_adjust? |
| |
| syz_future_time(when intptr[0:1]) zx_time |
| |
| clock_id = ZX_CLOCK_MONOTONIC, ZX_CLOCK_UTC, ZX_CLOCK_THREAD |