# Copyright 2022 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/misc.fidl

include <zircon/syscalls.h>

zx_nanosleep(deadline zx_time)
zx_ticks_get() (ignore_return)
zx_ticks_per_second() (ignore_return)
zx_deadline_after(nanoseconds int64) zx_time (ignore_return)

zx_vmar_unmap_handle_close_thread_exit(vmar_handle zx_vmar, addr vma, len len[addr], close_handle zx_handle)

# no return
zx_futex_wake_handle_close_thread_exit(value_ptr ptr[in, int32], wake_count int32, new_value int32, close_handle zx_handle)