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