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_handle[int32]: ZX_HANDLE_INVALID 7 8zx_handle_close(handle zx_handle) 9zx_handle_close_many(handles ptr[in, array[zx_handle]], num_handles len[handles]) 10zx_handle_duplicate(handle zx_handle, rights flags[zx_rights], out ptr[out, zx_handle]) 11zx_handle_replace(handle zx_handle, rights flags[zx_rights], out ptr[out, zx_handle]) 12 13zx_rights = ZX_RIGHT_NONE, ZX_RIGHT_DUPLICATE, ZX_RIGHT_TRANSFER, ZX_RIGHT_READ, ZX_RIGHT_WRITE, ZX_RIGHT_EXECUTE, ZX_RIGHT_MAP, ZX_RIGHT_GET_PROPERTY, ZX_RIGHT_SET_PROPERTY, ZX_RIGHT_ENUMERATE, ZX_RIGHT_DESTROY, ZX_RIGHT_SET_POLICY, ZX_RIGHT_GET_POLICY, ZX_RIGHT_SIGNAL, ZX_RIGHT_SIGNAL_PEER, ZX_RIGHT_SAME_RIGHTS 14