1# Copyright 2017 syzkaller project authors. All rights reserved. 2# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. 3 4include <zircon/syscalls.h> 5 6resource zx_time[int64]: 0, ZX_TIME_INFINITE 7 8zx_nanosleep(deadline zx_time) 9zx_clock_get(clock_id flags[clock_id]) zx_time 10zx_clock_get_new(clock_id int32, zx_time ptr[out, intptr]) 11zx_clock_get_monotonic() 12zx_ticks_get() 13zx_ticks_per_second() 14 15# TODO: undocumented 16# zx_clock_adjust? 17 18syz_future_time(when intptr[0:1]) zx_time 19 20clock_id = ZX_CLOCK_MONOTONIC, ZX_CLOCK_UTC, ZX_CLOCK_THREAD 21