# 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_event[zx_handle]

zx_event_create(options const[0], out ptr[out, zx_event])
zx_eventpair_create(options const[0], out0 ptr[out, zx_event], out1 ptr[out, zx_event])