From 881db35d2af46d7f86c1cbd245f683d47bcdcacf Mon Sep 17 00:00:00 2001 From: Laura Peskin Date: Fri, 4 Nov 2022 11:24:12 -0700 Subject: sys/fuchsia: rename timers.txt -> timer.txt --- sys/fuchsia/timer.txt | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 sys/fuchsia/timer.txt (limited to 'sys/fuchsia/timer.txt') diff --git a/sys/fuchsia/timer.txt b/sys/fuchsia/timer.txt new file mode 100644 index 000000000..8696d1f7d --- /dev/null +++ b/sys/fuchsia/timer.txt @@ -0,0 +1,14 @@ +# 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. + +# See https://cs.opensource.google/fuchsia/fuchsia/+/main:zircon/vdso/timer.fidl + +include + +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 int64) +zx_timer_cancel(handle zx_timer) + +timer_options = ZX_TIMER_SLACK_CENTER, ZX_TIMER_SLACK_EARLY, ZX_TIMER_SLACK_LATE -- cgit mrf-deployment