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_timer[zx_handle]
7
8zx_timer_create(options flags[timer_options], clock_id const[ZX_CLOCK_MONOTONIC], out ptr[out, zx_timer])
9zx_timer_set(handle zx_timer, deadline zx_time, slack intptr)
10zx_timer_cancel(handle zx_timer)
11
12timer_options = ZX_TIMER_SLACK_CENTER, ZX_TIMER_SLACK_EARLY, ZX_TIMER_SLACK_LATE
13