# 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/handle.fidl

include <zircon/syscalls.h>

resource zx_handle[int32]: ZX_HANDLE_INVALID

zx_handle_close(handle zx_handle)
zx_handle_close_many(handles ptr[in, array[zx_handle]], num_handles len[handles])
zx_handle_duplicate(handle zx_handle, rights flags[zx_rights], out ptr[out, zx_handle])
zx_handle_replace(handle zx_handle, rights flags[zx_rights], out ptr[out, zx_handle])